Updated mediawiki/extensions
Project: mediawiki/extensions/ProofreadPage  89dc89db29f5fcbb91c7a9532f1f4201ac12dbcb

Add dependency on module "user.options"

Change-Id: Ia135a1b411dc0ffa37730fe537a19a8e32663aef