Github mirror of MediaWiki extension BetaFeatures - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing
Go to file
Ed Sanders b272de3520 build: Update linters
Change-Id: I5e8ec391a6cbbacd6595707e9b49f2fe9c8ce966
2023-12-05 15:33:25 +00:00
.phan Add phan 2019-04-21 12:30:08 +02:00
i18n Localisation updates from https://translatewiki.net. 2023-12-01 09:37:56 +01:00
includes Update StaticUserOptionsLookup's FQN 2023-11-29 17:54:56 +00:00
resources build: Update linters 2023-12-05 15:33:25 +00:00
sql abstract schema: Remove unneeded length from integer type 2022-01-03 23:51:38 +01:00
tests/phpunit Replace deprecated global function wfGetDB() 2023-10-17 09:20:46 +00:00
.eslintignore build: Update linters 2023-12-05 15:33:25 +00:00
.eslintrc.json build: Updating npm dependencies 2022-04-14 08:52:45 +00:00
.gitignore build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 23:04:07 +00:00
.gitreview Whoops, track not trace 2016-10-24 17:02:08 -07:00
.phpcs.xml Get global $wgBetaFeatures from config object 2021-03-06 19:35:56 +01:00
.stylelintrc.json build: Updating stylelint-config-wikimedia to 0.11.1 2021-09-04 18:26:33 +00:00
AUTHORS Have AUTHORS list display better on Special:Version/Credits 2014-01-04 01:13:04 -08:00
BetaFeatures.alias.php Translate BetaFeatures alias into Bengali 2023-08-21 16:34:19 +00:00
CODE_OF_CONDUCT.md build: Updating mediawiki/phan-taint-check-plugin to 1.4.0 2018-09-01 05:58:50 +00:00
COPYING First iteration 2013-07-16 14:09:52 -07:00
Gruntfile.js build: Update linters 2023-12-05 15:33:25 +00:00
composer.json build: Updating dependencies 2023-04-28 23:52:26 +00:00
extension.json Update UserOptionsManager's FQN 2023-11-29 12:53:55 +00:00
package-lock.json build: Update linters 2023-12-05 15:33:25 +00:00
package.json build: Update linters 2023-12-05 15:33:25 +00:00