wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 00:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/tests/phpunit
History
Florian b0103abfed Fix type after upgrading to phpunit 7 
See I77ea560f4a5344bd1c356ecc3e7857968ad829b8

Change-Id: Ie9c83cf44e6555a9ae1f3182fdc3cc4269329fa7
2019-11-21 17:55:05 +01:00
..
common Clean up most of b/c for phpunit4 2019-10-06 00:11:37 +02:00
engines Fix type after upgrading to phpunit 7 2019-11-21 17:55:05 +01:00