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)
commit4d3b5d8440375823a8048c6c274f1ff51d4ae82c
tree9c2a4ff421814e5045c992c3ca2d7cba6efc57fc
parent4efe168a95a3e3d19c37c9708ba86da484610c7c
parentf14f65234701d20accd5c7dcb4eab2c2df9a69aa
Merge "GlobalFunctions: Avoid unnecessary fully-namespaced MediaWikiServices"
includes/GlobalFunctions.php