Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  13ed3410b2afd5466f6e44c1ca7141d9d12661a4

Add Special:SkinDistributor to dev tools group

Change-Id: I859a23caee23c07c4d1898645d62ca6cbd2bfb03