Updated mediawiki/extensions
Project: mediawiki/extensions/Diff  8a251d3257843468c725b7a7d1f746d26c2ab835

Update INSTALL

Change-Id: I962013a46d1d64d65d4e617f7c435602b6879224