Updated mediawiki/extensions
Project: mediawiki/extensions/GlobalContributions  d41b7da12afab3e8aa90fb8382d6fca3318186d0

Add special page alias file

Some more tweaks:
* Add $wgSpecialPageGroups
* Add headers

Change-Id: I9bc3a1994d9ee2341cd9701a0eb5b672af2c7069