[MediaWiki-commits] [Gerrit] Remove extension ZeroPortal from gate extensions - change (integration/config)

2016-04-02 Thread Addshore (Code Review)
Addshore has uploaded a new change for review. https://gerrit.wikimedia.org/r/281206 Change subject: Remove extension ZeroPortal from gate extensions .. Remove extension ZeroPortal from gate extensions Reason because it

[MediaWiki-commits] [Gerrit] Remove extension ZeroPortal from gate extensions - change (integration/config)

2016-03-24 Thread Paladox (Code Review)
Paladox has uploaded a new change for review. https://gerrit.wikimedia.org/r/279409 Change subject: Remove extension ZeroPortal from gate extensions .. Remove extension ZeroPortal from gate extensions Reason because it