diff options
Diffstat (limited to 'php.ini-production')
| -rw-r--r-- | php.ini-production | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/php.ini-production b/php.ini-production index e8fb6d7123..87c8df2888 100644 --- a/php.ini-production +++ b/php.ini-production @@ -387,7 +387,6 @@ disable_classes = ;highlight.string = #DD0000 ;highlight.comment = #FF9900 ;highlight.keyword = #007700 -;highlight.bg = #FFFFFF ;highlight.default = #0000BB ;highlight.html = #000000 |