Merge "Special:ProtectedPages: Use HTMLForm"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 27 Dec 2017 10:38:08 +0000 (10:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 27 Dec 2017 10:38:08 +0000 (10:38 +0000)
commit015055b17b706a83d18ae58e944e52392a13b460
tree623239af04fde9067e3367ad14b005beebd36f2d
parentc350e367ee1169ffa86a8849f560ed78e2efd748
parent74f11d41346585a7d72c067fe427e31b4fd36222
Merge "Special:ProtectedPages: Use HTMLForm"