#40776 [NEW]: highlight.bg setting ignored/unused

[seanius at debian dot org]

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 [url]http://bugs.debian.org/405338[/url]

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 [url]http://bugs.php.net/?id=40776&edit=1[/url]
--
Try a CVS snapshot (PHP 4.4): [url]http://bugs.php.net/fix.php?id=40776&r=trysnapshot44[/url]
Try a CVS snapshot (PHP 5.2): [url]http://bugs.php.net/fix.php?id=40776&r=trysnapshot52[/url]
Try a CVS snapshot (PHP 6.0): [url]http://bugs.php.net/fix.php?id=40776&r=trysnapshot60[/url]
Fixed in CVS: [url]http://bugs.php.net/fix.php?id=40776&r=fixedcvs[/url]
Fixed in release: [url]http://bugs.php.net/fix.php?id=40776&r=alreadyfixed[/url]
Need backtrace: [url]http://bugs.php.net/fix.php?id=40776&r=needtrace[/url]
Need Reproduce Script: [url]http://bugs.php.net/fix.php?id=40776&r=needscript[/url]
Try newer version: [url]http://bugs.php.net/fix.php?id=40776&r=oldversion[/url]
Not developer issue: [url]http://bugs.php.net/fix.php?id=40776&r=support[/url]
Expected behavior: [url]http://bugs.php.net/fix.php?id=40776&r=notwrong[/url]
Not enough info: [url]http://bugs.php.net/fix.php?id=40776&r=notenoughinfo[/url]
Submitted twice: [url]http://bugs.php.net/fix.php?id=40776&r=submittedtwice[/url]
register_globals: [url]http://bugs.php.net/fix.php?id=40776&r=globals[/url]
PHP 3 support discontinued: [url]http://bugs.php.net/fix.php?id=40776&r=php3[/url]
Daylight Savings: [url]http://bugs.php.net/fix.php?id=40776&r=dst[/url]
IIS Stability: [url]http://bugs.php.net/fix.php?id=40776&r=isapi[/url]
Install GNU Sed: [url]http://bugs.php.net/fix.php?id=40776&r=gnused[/url]
Floating point limitations: [url]http://bugs.php.net/fix.php?id=40776&r=float[/url]
No Zend Extensions: [url]http://bugs.php.net/fix.php?id=40776&r=nozend[/url]
MySQL Configuration Error: [url]http://bugs.php.net/fix.php?id=40776&r=mysqlcfg[/url]

[tony2001@php.net]

ID: 40776
Updated by: [email]tony2001@php.net[/email]
Reported By: seanius at debian dot org
-Status: Open
+Status: Assigned
-Bug Type: Scripting Engine problem
+Bug Type: Unknown/Other Function
Operating System: Debian GNU/Linux
PHP Version: 5.2.1
-Assigned To:
+Assigned To: tony2001


Previous Comments:
------------------------------------------------------------------------

[2007-03-11 13:45:58] seanius at debian dot org

Description:
------------
originally reported at [url]http://bugs.debian.org/405338[/url]

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 this bug report at [url]http://bugs.php.net/?id=40776&edit=1[/url]