PHP 8.6.0 Beta 1 is available for testing

Настройка во время выполнения

Поведение функций зависит от установок в файле php.ini.

Параметры конфигурации прочих функций
Имя По умолчанию Место изменения Список изменений
ignore_user_abort "0" INI_ALL
highlight.string "#DD0000" INI_ALL
highlight.comment "#FF8000" INI_ALL
highlight.keyword "#007700" INI_ALL
highlight.default "#0000BB" INI_ALL
highlight.html "#000000" INI_ALL
browscap NULL INI_SYSTEM
Дополнительную информацию и определения режимов INI_* даёт раздел «Места установки параметров конфигурации».

Краткое разъяснение конфигурационных директив.

ignore_user_abort bool

false по умолчанию. Если изменяется на true , то скрипты не будут прерваны после того, как клиент разорвёт соединение.

Смотрите также ignore_user_abort() .

highlight.bg string
highlight.comment string
highlight.default string
highlight.html string
highlight.keyword string
highlight.string string

Цвета для режима подсвечивания (Syntax Highlighting). Всё, что приемлемо в <font color="??????">, будет работать.

browscap string

Имя (например, browscap.ini) и расположение файла характеристик браузера. Смотрите также описание функции get_browser() .

Нашли ошибку?

ИнструкцияИсправлениеСообщение об ошибке
+Добавить

Примечания пользователей 3 notes

up
3
Nico
8 years ago
To pass more than one css rule, but also a class, an id, or any html attribute to highlighted element, we can escape a quote to close the inline styling:
 ini_set('highlight.string', '#F8F8F8 ; font-size:1.4em\" class=\'string\' ');
up
1
Eric
6 years ago
To change the style directly from a CSS file, it is recommended to only go through classes instead of hard-coding it.
<?php
 $functions = array("default", "html", "keyword", "string", "comment");
 foreach ($functions as $value) {
 ini_set("highlight.$value", "highlight-$value;");
 }
?>

And in the CSS file (for example) :
.highlight-html { color: #000000; }
.highlight-default { color: #0000bb; }
.highlight-keyword { color: #007700; font-weight: bold; }
.highlight-string { color: #dd0000; }
.highlight-comment { color: #ff8000; }
up
0
Eric
6 years ago
*** Additions to the previous message ***
To change the style directly from a CSS file, it is recommended to only go through classes instead of hard-coding it.
<?php
 // Create an array with default php functions
 $functions = array("default", "html", "keyword", "string", "comment");
 // Replace color code (ex: #FF8000) with class name (ex:"highlight-comment")
 foreach ($functions as $value) {
 ini_set("highlight.$value", "highlight-$value;");
 }
 $content = highlight_file($filename, true);
 // or
 $content = highlight_string($string, true);
 // Convert style="color: highlight-function" into class="highlight-function" into $content
 // It allows you to modify only the default functions
 foreach ($functions as $value) {
 $content = preg_replace("/style=\"color: highlight-$value;\"/", "class=\"highlight-$value\"", $content);
 }
?>

And in the CSS file (for example) :
.highlight-html { color: #000000; }
.highlight-default { color: #0000bb; }
.highlight-keyword { color: #007700; font-weight: bold; }
.highlight-string { color: #dd0000; }
.highlight-comment { color: #ff8000; }
+Добавить

AltStyle によって変換されたページ (->オリジナル) /