Clean up mediawiki.legacy.protect a bit.
authorAlex Monk <krenair@wikimedia.org>
Fri, 29 Aug 2014 22:40:10 +0000 (23:40 +0100)
committerAlex Monk <krenair@wikimedia.org>
Sat, 13 Sep 2014 14:43:30 +0000 (15:43 +0100)
commitc805e14eec7bd0922351562de748bf99a83c0eeb
tree1828459d7877497eefa5901d5521f09f04feec3c
parent84c1186a08706f73e337393bd1a5a3a5ec6cfe7b
Clean up mediawiki.legacy.protect a bit.

Also kills some inline JS stuff in ProtectionForm

Bug: 33871
Change-Id: Ie43c80bf5ebd6107458d5284cc68b7128f29359a
includes/ProtectionForm.php
resources/Resources.php
resources/src/mediawiki.legacy/protect.js