Merge "Remove $wgTitle from WebStart forever"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 22 Sep 2014 22:00:27 +0000 (22:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 22 Sep 2014 22:00:27 +0000 (22:00 +0000)
commit465ddbc41f7d7b69112a1fc3d08cf6a9f9588bee
tree334627656dae179a6e6574d222e1cba19ce30e5c
parent6be622363e4a14d29b1115dec99c397e69878ff9
parent2431dcb1648f00d0b436d1e8a0c2077d110cfceb
Merge "Remove $wgTitle from WebStart forever"