Updated mediawiki/extensions
Project: mediawiki/extensions/ApprovedRevs  c7f42f8a100e15a618563075502d5ce78f93f29d

Fixes to last commit, based on comments from Nikerabbit

Change-Id: Idd011293cf141c972e980801c7c0628ce7ba034c