build: Updating mediawiki/mediawiki-codesniffer to 0.7.2
build: Updating mediawiki/mediawiki-codesniffer to 0.7.2

Change-Id: I7e52cfc04009a5bd0df721439f284b6a3c49bb08

wikimedia/mediawiki-extensions-TopTenPages,wikimedia/mediawiki-extensions-TopTenPages