wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2025-01-06 11:54:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/tests/phpunit/controller
History
Umherirrender 9ccc7af208 Remove PHP 5.3 $this closure workaround 
Change-Id: I84024efc7bb27292bcfb7dd5c586b094828c5d0a
2021-05-15 01:58:55 +02:00
..
NotificationControllerTest.php Remove PHP 5.3 $this closure workaround 2021-05-15 01:58:55 +02:00