From 47d3276cd7b02538ee58f7631d78abd9cc035ae9 Mon Sep 17 00:00:00 2001
From: Antony Dovgal <tony2001@php.net>
Date: Thu, 26 Apr 2007 09:39:03 +0000
Subject: removed unused highlight.bg ini option

---
 php.ini-dist | 1 -
 1 file changed, 1 deletion(-)

(limited to 'php.ini-dist')

diff --git a/php.ini-dist b/php.ini-dist
index 9a51e9b261..8c7b4543d1 100644
--- a/php.ini-dist
+++ b/php.ini-dist
@@ -167,7 +167,6 @@ disable_classes =
 ;highlight.string  = #DD0000
 ;highlight.comment = #FF9900
 ;highlight.keyword = #007700
-;highlight.bg      = #FFFFFF
 ;highlight.default = #0000BB
 ;highlight.html    = #000000
 
-- 
cgit v1.2.1