Merge "Remove deprecated variable usage from Maintenance.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Aug 2018 18:36:12 +0000 (18:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Aug 2018 18:36:12 +0000 (18:36 +0000)
commita14133e55c0d4bceca030a9bdb373f3ff84c15ed
tree90d5f22692e5a80f68e96ea7d39c1dce1f4cb67c
parent7d7ed6c040e5ccd3a33b07803e46e2188fd0f8a8
parent6dab8d553e7661fe07e47ee91fe0e96c66f4bbc1
Merge "Remove deprecated variable usage from Maintenance.php"