Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  94cd5d1820498fae57dd87c0b92aa8659ea0255c

Remove obsolete INSTALL file

Change-Id: I04b0b974f7d361bba0a3091631e44e79fa226bbc