运行时配置

这些函数的行为受 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

语法高亮模式的颜色。<font color="??????"> 中可接受的任何内容都可以工作。

browscap string

浏览器功能文件 的名称(例如:browscap.ini)和位置。另请参阅 get_browser()

添加注释

用户贡献的注释 3 个注释

Nico
6 年前
要传递多个 CSS 规则,还要传递类、ID 或任何 HTML 属性给突出显示的元素,我们可以转义引号以关闭内联样式

ini_set('highlight.string', '#F8F8F8 ; font-size:1.4em\" class=\'string\' ');
Eric
4 年前
*** 对上一条消息的补充 ***

为了直接从 CSS 文件更改样式,建议只通过类来更改,而不是硬编码它。

<?php

// 创建一个包含默认 PHP 函数的数组

$functions = array("default", "html", "keyword", "string", "comment");

// 将颜色代码(例如:#FF8000)替换为类名(例如:“highlight-comment”)

foreach ($functions as $value) {
ini_set("highlight.$value", "highlight-$value;");
}

$content = highlight_file($filename, true);
// 或者
$content = highlight_string($string, true);

// 将 style="color: highlight-function" 转换为 class="highlight-function" 到 $content 中
// 它允许您只修改默认函数

foreach ($functions as $value) {
$content = preg_replace("/style=\"color: highlight-$value;\"/", "class=\"highlight-$value\"", $content);
}

?>

以及在 CSS 文件中(例如)

.highlight-html { color: #000000; }
.highlight-default { color: #0000bb; }
.highlight-keyword { color: #007700; font-weight: bold; }
.highlight-string { color: #dd0000; }
.highlight-comment { color: #ff8000; }
Eric
4 年前
为了直接从 CSS 文件更改样式,建议只通过类来更改,而不是硬编码它。

<?php

$functions
= array("default", "html", "keyword", "string", "comment");

foreach (
$functions as $value) {
ini_set("highlight.$value", "highlight-$value;");
}

?>

以及在 CSS 文件中(例如)

.highlight-html { color: #000000; }
.highlight-default { color: #0000bb; }
.highlight-keyword { color: #007700; font-weight: bold; }
.highlight-string { color: #dd0000; }
.highlight-comment { color: #ff8000; }
To Top