Updated mediawiki/extensions
Project: mediawiki/extensions/PageTools  4c2586b6003cc22ace06e648c2fa238403a75ec5

Introduce <deflate> tag; reformat code

Change-Id: Idd79ddee8fc389a3becf2b16247373fac0c6b1bc