Merge "Enable mediawiki.checkboxtoggle on mobile"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Mar 2019 22:30:17 +0000 (22:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Mar 2019 22:30:17 +0000 (22:30 +0000)
commitee09b046fcaee31574e9179153ff44383f008a78
tree9828e36a1bfa7d2ccb251b1d319831ea890770b3
parent670cd4802ba836da76ba3de9467faeb07a02d4fc
parent749788ff4e9aac3df5b44b63a23350a436509108
Merge "Enable mediawiki.checkboxtoggle on mobile"
resources/Resources.php