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)
1  2 
includes/htmlform/HTMLForm.php

Simple merge