mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount
synced 2024-11-24 00:07:16 +00:00
2e043bf1e3
composer: * mediawiki/mediawiki-codesniffer: 38.0.0 → 39.0.0 * php-parallel-lint/php-console-highlighter: 0.5.0 → 1.0.0 * php-parallel-lint/php-parallel-lint: 1.3.1 → 1.3.2 npm: * grunt-eslint: 23.0.0 → 24.0.0 Change-Id: I6246e5ef8f72cd6af514382a7c239eaf1d528f78 |
||
---|---|---|
.phan | ||
i18n | ||
src | ||
.eslintrc.json | ||
.gitignore | ||
.gitreview | ||
.phpcs.xml | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
Editcount.alias.php | ||
extension.json | ||
Gruntfile.js | ||
package-lock.json | ||
package.json |