Merge "Remove unused $resourceLoader"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Jan 2017 21:07:36 +0000 (21:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Jan 2017 21:07:36 +0000 (21:07 +0000)
commitf8a0ab3d373a51c6743b7cce7a10dbf34bdf6318
tree5bd21870f69ba37d8f6ac5181e5a7db16f1a3dff
parent4fa09f5bc81f19f0b32ce61c37219c39cc6eae02
parent641d24b3b6c465541df033ea46fe4ffa1651751f
Merge "Remove unused $resourceLoader"
includes/OutputPage.php