Updated mediawiki/extensions
Project: mediawiki/extensions/AdminLinks  078cfdcfdb752b39ec8178ca9fad1329bb67f9d7

New version: 0.1.8

Change-Id: I5082ad5a9366159704eb5041506159a4ed90bc9e