Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  002491b4811e979640ee8f7efea12c7b4c5f965f

Add custom DifferenceEngine for Page: pages

Change-Id: I813fb2f56dd6057f4b87a53fa5f3945f4772875c