Merge "Remove useless check for MEDIAWIKI definition"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 18 Aug 2016 17:27:55 +0000 (17:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 18 Aug 2016 17:27:55 +0000 (17:27 +0000)
commit99fefe9af6c35ded8e7c9da7bd099719f7133054
tree1993e9d1085ca84a51057182e016ea605b289a71
parentd24af42ffff087a0824f6e9abefa33cab3e4e835
parent02f9963f072350138add69fbc38d13e64c124fa8
Merge "Remove useless check for MEDIAWIKI definition"