wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-09-23 10:23:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Editcount
461 commits 24 branches 0 tags 4.6 MiB
PHP 97%
JavaScript 3%
Go to file
Umherirrender 039d2cd82a build: Add php-parallel-lint and MinusX 
php-lint will test for valid php files
MinusX will test for executable bits

Change-Id: I29038a499eb83d2ea0bad6a8c23c739964d86087
2017-11-03 19:48:45 +01:00
i18n Localisation updates from https://translatewiki.net. 2017-10-11 22:55:27 +02:00
.gitignore build: Add php-parallel-lint and MinusX 2017-11-03 19:48:45 +01:00
.gitreview Whoops, track not trace 2016-10-24 17:02:29 -07:00
CODE_OF_CONDUCT.md Add CODE_OF_CONDUCT.md 2017-06-07 13:27:35 +04:30
composer.json build: Add php-parallel-lint and MinusX 2017-11-03 19:48:45 +01:00
COPYING Provide license information 2016-03-15 13:47:43 +01:00
Editcount.alias.php Localisation updates from https://translatewiki.net. 2015-06-14 21:06:22 +02:00
Editcount.php Add extension.json and empty PHP entry point 2015-09-14 00:26:08 +00:00
Editcount_body.php Fix fatal under MediaWiki 1.24 2014-12-08 12:16:04 +02:00
extension.json Provide license information 2016-03-15 13:47:43 +01:00
Gruntfile.js build: Add php-parallel-lint and MinusX 2017-11-03 19:48:45 +01:00
package.json build: mark package.json as private 2017-08-01 16:38:17 +02:00