Page MenuHomePhabricator

hat-web-tool: port to PHP 7.+
Closed, DeclinedPublic

Event Timeline

Change 519087 had a related patch set uploaded (by MusikAnimal; owner: MusikAnimal):
[labs/tools/stewardbots@master] Start on PHP 7.2 migration

https://gerrit.wikimedia.org/r/519087

Change 519087 abandoned by Majavah:

[labs/tools/stewardbots@master] Migrate hat-web-tool to PHP 7.2

Reason:

per https://gerrit.wikimedia.org/r/c/labs/tools/stewardbots/ /687601

https://gerrit.wikimedia.org/r/519087