Updated mediawiki/extensions
Project: mediawiki/extensions/ApprovedRevs  3d0b266fc4ac0361e37a24c4b2b51071795639a2

Use ResourceLoader to load CSS

This change reduces the number of requests by one by loading the
ApprovedRevs CSS together with the rest. This also makes sure the CSS is
minified and gzipped (all automatically done by ResourceLoader).

Change-Id: I3eca505d8c82e809af19e4be579c79e7239d744a