protect.js: Remove JavaScript global variable window.ProtectionForm
authorFomafix <fomafix@googlemail.com>
Tue, 2 Apr 2019 08:26:27 +0000 (10:26 +0200)
committerFomafix <fomafix@googlemail.com>
Tue, 2 Apr 2019 08:26:27 +0000 (10:26 +0200)
commit1388e3c66d0b6de4179a97f6a7d0658eabac586c
treed39268eb17cf8ed1a8f778eaaebfeafb5c6d4dd7
parent9dfa200e7c283045b50d90e1d11025a252b7b7d7
protect.js: Remove JavaScript global variable window.ProtectionForm

The JavaScript global variable window.ProtectionForm is not needed since
c805e14eec7b.

Bug: T35871
Change-Id: I9089640d6c0058da14ba179fba9656fc7a4f5c68
resources/src/mediawiki.legacy/protect.js