Change Details

* Gerrit username: robla * Gerrit repository: MediaWiki-extensions-JsonData * Reason: Keeping the repo from getting deleted. It's been a long time since I've done much PHP development, but it doesn't seem THAT hard. I'd like to have +2 on this repo

* Gerrit username: robla * Gerrit repository: MediaWiki-extensions-JsonData * Reason: Keeping the repo from getting archived (T303132). It's been a long time since I've done much PHP development, but it doesn't seem THAT hard. I'd like to have +2 on this repo

* Gerrit username: robla * Gerrit repository: MediaWiki-extensions-JsonData * Reason: Keeping the repo from getting deletedarchived (T303132). It's been a long time since I've done much PHP development, but it doesn't seem THAT hard. I'd like to have +2 on this repo