Merge "Revert "Use OOUI HTMLForm for Special:Watchlist""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 30 Jul 2015 19:05:20 +0000 (19:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 30 Jul 2015 19:05:20 +0000 (19:05 +0000)
commit7a6b211c486017c100c8398a25e45e8042e6727f
tree9ef0eae15aac93603e230797c96d2123f62e173b
parent93d1d61e9ff6126fe5a38a807badcdaa2b60e5c0
parent8fd96347747ecee3a177eeaf23d7f309210a72a1
Merge "Revert "Use OOUI HTMLForm for Special:Watchlist""
includes/htmlform/HTMLForm.php