vladshapik a3c55f6272 Avoid using User::getOption() method ... Replace User::getOption() with UserOptionsLookup::getOption() since this method will be hard-deprecated. Bug: T296083 Change-Id: I0ecdc63b0344bc4c24196cc5edb3d02b6a7ed615		2021-12-10 13:37:45 +01:00
..
phpunit	Avoid using User::getOption() method	2021-12-10 13:37:45 +01:00
qunit	eslint: Fix warnings	2021-02-01 21:02:46 +00:00
selenium	Merge "selenium: Update wdio-mediawiki"	2021-05-26 15:07:07 +00:00
bootstrap.php	build: Updating mediawiki/mediawiki-codesniffer to 0.9.0	2017-06-22 14:13:28 +00:00
echo.suite.xml	Directory reshuffle, add dev tools	2014-08-01 22:38:41 +00:00