#40776 [NEW]: highlight.bg setting ignored/unused
| From: | seanius at debian dot org | Date: | Sun, 11 Mar 2007 13:45:58 +0000 |
| Subject: | #40776 [NEW]: highlight.bg setting ignored/unused | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-110190@lists.php.net to get a copy of this message | ||
From: seanius at debian dot org
Operating system: Debian GNU/Linux
PHP version: 5.2.1
PHP Bug Type: Scripting Engine problem
Bug description: highlight.bg setting ignored/unused
Description:
------------
originally reported at http://bugs.debian.org/405338
it seems that the highlight.bg setting is being ignored for
highlight_string/highlight_file(). or perhaps this setting is
obsoleted/removed intentionally? the online docs and php-provided ini
files still reference this setting though, and it shows up correctly in
phpinfo().
grepping through the source for php5 however, i don't find much
referencing the setting apart from the ini file and some test cases. the
highlight_file function in ext/standard/base_functions.c sets the other
settings from the "higlight struct", but not the .bg setting.
Reproduce code:
---------------
<?php
# set highlight.bg to something obvious like #ff0000
# and you'll see that the background stays default.
# Comment
highlight_file($_SERVER['SCRIPT_FILENAME']);
?>
Expected result:
----------------
a red background
Actual result:
--------------
a white default background
--
Edit bug report at http://bugs.php.net/?id=40776&edit=1
--
Try a CVS snapshot (PHP 4.4): http://bugs.php.net/fix.php?id=40776&r=trysnapshot44
Try a CVS snapshot (PHP 5.2): http://bugs.php.net/fix.php?id=40776&r=trysnapshot52
Try a CVS snapshot (PHP 6.0): http://bugs.php.net/fix.php?id=40776&r=trysnapshot60
Fixed in CVS: http://bugs.php.net/fix.php?id=40776&r=fixedcvs
Fixed in release: http://bugs.php.net/fix.php?id=40776&r=alreadyfixed
Need backtrace: http://bugs.php.net/fix.php?id=40776&r=needtrace
Need Reproduce Script: http://bugs.php.net/fix.php?id=40776&r=needscript
Try newer version: http://bugs.php.net/fix.php?id=40776&r=oldversion
Not developer issue: http://bugs.php.net/fix.php?id=40776&r=support
Expected behavior: http://bugs.php.net/fix.php?id=40776&r=notwrong
Not enough info: http://bugs.php.net/fix.php?id=40776&r=notenoughinfo
Submitted twice: http://bugs.php.net/fix.php?id=40776&r=submittedtwice
register_globals: http://bugs.php.net/fix.php?id=40776&r=globals
PHP 3 support discontinued: http://bugs.php.net/fix.php?id=40776&r=php3
Daylight Savings: http://bugs.php.net/fix.php?id=40776&r=dst
IIS Stability: http://bugs.php.net/fix.php?id=40776&r=isapi
Install GNU Sed: http://bugs.php.net/fix.php?id=40776&r=gnused
Floating point limitations: http://bugs.php.net/fix.php?id=40776&r=float
No Zend Extensions: http://bugs.php.net/fix.php?id=40776&r=nozend
MySQL Configuration Error: http://bugs.php.net/fix.php?id=40776&r=mysqlcfg