diff options
| author | Kalle Sommer Nielsen <kalle@php.net> | 2010-04-21 21:56:24 +0000 |
|---|---|---|
| committer | Kalle Sommer Nielsen <kalle@php.net> | 2010-04-21 21:56:24 +0000 |
| commit | 9a38f301d6f4c1685dc245670f8034384ba7cdbd (patch) | |
| tree | 353211a58633ac7194e8296b0b40f0489e7ff1ed /php.ini-development | |
| parent | 508cfb7210cf5af3e31eacc5b35ea8c1c134b9c2 (diff) | |
| download | php-git-9a38f301d6f4c1685dc245670f8034384ba7cdbd.tar.gz | |
Remove highlight.bg, it was removed in the old trunk and its not referenced in zend_highlight.c, meaning its not even implemented correctly in 5.3.
Diffstat (limited to 'php.ini-development')
| -rw-r--r-- | php.ini-development | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/php.ini-development b/php.ini-development index 10ac9d2a4d..d316622dd8 100644 --- a/php.ini-development +++ b/php.ini-development @@ -387,7 +387,6 @@ disable_classes = ;highlight.string = #DD0000 ;highlight.comment = #FF9900 ;highlight.keyword = #007700 -;highlight.bg = #FFFFFF ;highlight.default = #0000BB ;highlight.html = #000000 |