Merge "GlobalFunctions: Avoid unnecessary fully-namespaced MediaWikiServices"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 May 2017 05:28:03 +0000 (05:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 May 2017 05:28:04 +0000 (05:28 +0000)
1  2 
includes/GlobalFunctions.php

Simple merge