wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-13 17:57:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/jobs
History
Thiemo Kreuz 048a9e84c1 Remove duplicate private property from NotificationDeleteJob 
Every job class does store it's properties in the $this->prop array
anyway.

Change-Id: Ib1c810ee367a2771e19fac25056c9e7bef22cb01
2019-10-31 18:18:08 +00:00
..
NotificationDeleteJob.php Remove duplicate private property from NotificationDeleteJob 2019-10-31 18:18:08 +00:00
NotificationJob.php Add strict "array" type hints to code expecting arrays 2019-10-24 15:18:58 +00:00