(bug 43218) Fixing PHP notice: undefined SERVER_PROTOCOL key
authorDereckson <dereckson@espace-win.org>
Tue, 18 Dec 2012 00:31:03 +0000 (01:31 +0100)
committerDereckson <dereckson@espace-win.org>
Tue, 18 Dec 2012 14:45:06 +0000 (15:45 +0100)
commit7276fd4d90c72f666771dd81f0418513c4a703ce
tree6d5ae3e59e5b7afa0cabd366fb0738f0eaf2041e
parent933869c7ef629c61547e974fcb08dcb60783329b
(bug 43218) Fixing PHP notice: undefined SERVER_PROTOCOL key

Change-Id: I1ce7605a7c8503aed37ed9b3e7c3f3c13083db6f
includes/OutputHandler.php