Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaEvents  412546a212b1826309cc2913c8043e4678158c48

Instrumentation of PageRestoration schema

See: https://meta.wikimedia.org/wiki/Schema:PageRestoration

Core dependency: If87a73e47def7a4404858f374780c3f1cf4d69b5

Change-Id: Id40347ec268658dc854e4ab2dd38570b19db1477