Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  0baafe72f5610ccd5ecb63c784e97a3088eec31a

Editing system for pages separated.

Change-Id: I2ec8b7423b083966e6fd1fb5c73b7f4d194f04b1