Updated mediawiki/extensions
Project: mediawiki/extensions/ZeroPortal  a6db6c087d492aaa04ac16acf37f89cfdc3ce08e

Allow portal= parameter for Special:ZeroPortal

* Allows admin users to specify alternative startup module

Change-Id: If8d45e3a2a8e3ef97cbf78ccb19022dd0605ffc8