Updated mediawiki/extensions
Project: mediawiki/extensions/CentralAuth  e9eec155c04f97a4e7d230a3dd8d49a2d4e933f8

Replace the wiki set number on Special:GlobalGroupPermissions with a link

Or text if it has no wiki set.

Change-Id: Ia8523da29d1ef28e61de9314c1ed51faf5723845