Updated mediawiki/extensions
Project: mediawiki/extensions/PostEdit  36115fc2a50042f5a8d92a177a1b6e23be27eabe

Empty repository, leave stub file (merged into core)

This extension is obsolete!

It has been replaced by core functionality in the
MediaWiki software (which was added in version 1.22).

The specific commit is:
https://gerrit.wikimedia.org/r/#/c/66137/

Change-Id: Id121fd82c7200e01523673e1a0a6fbc658ce247d