path: root/php.ini-production
diff options
authorPierrick Charron <>2011-04-03 21:46:52 (GMT)
committerPierrick Charron <>2011-04-03 21:46:52 (GMT)
commit1368364469571507b56358e3fe210aaaaea35a07 (patch)
treeb41fc183aa432b16b67a1096881da00cc0b35fd1 /php.ini-production
parent9e05a9ad1310018a6f5797c7e32ae0d0cbd9cb69 (diff)
Fix common typos in the source code (Reported in Bug #54065)
# External libraries were excluded # Thanks eitan at eitanadler dot com for the first patch :)
Diffstat (limited to 'php.ini-production')
1 files changed, 1 insertions, 1 deletions
diff --git a/php.ini-production b/php.ini-production
index 5f0de20..869f0c6 100644
--- a/php.ini-production
+++ b/php.ini-production
@@ -603,7 +603,7 @@ html_errors = Off
; starts up. G,P,C,E & S are abbreviations for the following respective super
; globals: GET, POST, COOKIE, ENV and SERVER. There is a performance penalty
: paid for the registration of these arrays and because ENV is not as commonly
-; used as the others, ENV is is not recommended on productions servers. You
+; used as the others, ENV is not recommended on productions servers. You
; can still get access to the environment variables through getenv() should you
; need to.
; Default Value: "EGPCS"