Updated mediawiki/extensions
Project: mediawiki/extensions/AdminLinks  4fddfe2e2776e83d69a0b8367a404d0f9f74af8c

Add special page group for AdminLinks

Change-Id: I38adbc286cddf61d310076ab1bbf3d84c03daafb