wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-04 20:28:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/tests/phpunit/integration
History
Michael Holloway a2412732f6 Push: Add additional job params for logging 
Adds additional job parameters to help diagnose the apparent issue of
jobs being performed twice on Beta.

Bug: T255068
Change-Id: Ib257a24056539487e1110fe286fa4535c3fec94a
2020-06-17 17:58:21 -04:00
..
Push Push: Add additional job params for logging 2020-06-17 17:58:21 -04:00
EchoServicesTest.php Add push notifier 2020-06-02 13:40:04 -04:00