Merge "Simplify checking for widgets on special block page"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Apr 2019 09:29:16 +0000 (09:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Apr 2019 09:29:16 +0000 (09:29 +0000)
commit7ecbff2360a07755f771c648ed1e27ee3dca8ad5
tree495a0aaa39ba38d035bb45f703dbe9afcb39d518
parent1f163231a6eb5d3e11f55d3d65b5acb45a4d80f8
parentdc941617b2128b13f87c06469bfd77277d0d7484
Merge "Simplify checking for widgets on special block page"
includes/specials/SpecialBlock.php
resources/Resources.php