wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../tests/phpunit
History
Alexander Vorwerk 6bf535cffc Avoid using User::getOptionKinds() 
User::getOptionKinds() is deprecated and should be replaced with UserOptionsManager::getOptionKinds()

Bug: T277600
Change-Id: Ie30ae74839f91aa48c53a5ebf680adb21eb9b047
2021-05-03 11:39:48 +00:00
..
HookTest.php Avoid using User::getOptionKinds() 2021-05-03 11:39:48 +00:00
ResourceLoaderCodeMirrorModuleTest.php Add missing PHPUnit tests for better coverage 2020-10-08 10:18:45 +02:00