Merge "(bug 43218) Fixing PHP notice: undefined SERVER_PROTOCOL key"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Dec 2012 14:51:57 +0000 (14:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Dec 2012 14:51:57 +0000 (14:51 +0000)
commit305ddd62acca739b00005d2adfc941590e48d3e4
treecd6eb8c619b39206b957dde10bfb94e86a1d3cd4
parent136bfd7fe0311bb0b9ee2581aae4b04f143c307a
parent7276fd4d90c72f666771dd81f0418513c4a703ce
Merge "(bug 43218) Fixing PHP notice: undefined SERVER_PROTOCOL key"