Merge "Use OOUI HTMLForm for Special:Watchlist"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 27 Jul 2015 22:39:04 +0000 (22:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 27 Jul 2015 22:39:04 +0000 (22:39 +0000)
commitd47fc0b2e193671ba6b474ba949de4547b1a2c83
tree4b34bd38c2e5e463f39c4f43131e305bca0b3fa1
parente74238ba20d3645a1490bc328c6c5a1f6e55be5f
parent9508c5bd576ee4206eb8e89b7d2ba82985f4e151
Merge "Use OOUI HTMLForm for Special:Watchlist"