Merge "MediaWiki\Block namespace minor tweaks"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 27 Jun 2019 21:17:38 +0000 (21:17 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 27 Jun 2019 21:17:38 +0000 (21:17 +0000)
commit74c2f9a17aeb5eff5233eab213120282ec18dd3c
tree2c80a0b97b87eb2f93cc3f2334aed17e7349e15b
parentbe9c792ecd7bed7af13e39998e6c37aae5f217b9
parent48d355de818353e6ce4b05c024f43aab11824ed2
Merge "MediaWiki\Block namespace minor tweaks"