Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  2e15db95a582c1800af21467defc9e24fdc359df

Avoid dependance on a WikiEditor class that have been recently removed

Change-Id: Id6e16577646358714d9e9d42a89edef825244370