note 125232 added to misc.configuration
| From: | Eric@php.net | Date: | Thu, 30 Jul 2020 12:51:31 +0000 |
| Subject: | note 125232 added to misc.configuration | ||
| Groups: | php.notes | ||
| Request: | Send a blank email to php-notes+get-214914@lists.php.net to get a copy of this message | ||
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; }
----
Server IP: 45.112.84.4
Probable Submitter: 103.51.166.36 (proxied: 80.215.234.20)
----
Manual Page -- http://php.net/manual/en/misc.configuration.php
Edit -- https://master.php.net/note/edit/125232
Del: integrated -- https://master.php.net/note/delete/125232/integrated
Del: useless -- https://master.php.net/note/delete/125232/useless
Del: bad code -- https://master.php.net/note/delete/125232/bad+code
Del: spam -- https://master.php.net/note/delete/125232/spam
Del: non-english -- https://master.php.net/note/delete/125232/non-english
Del: in docs -- https://master.php.net/note/delete/125232/in+docs
Del: other reasons-- https://master.php.net/note/delete/125232
Reject -- https://master.php.net/note/reject/125232
Search -- https://master.php.net/manage/user-notes.php