wikimedia/mediawiki-extensions-CiteThisPage
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CiteThisPage synced 2024-11-15 03:33:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/CiteThisPage
1689 commits 277 branches 5 tags 13 MiB
PHP 95.2%
JavaScript 3.6%
CSS 1.2%
Go to file
jenkins-bot 9f97f53bf3 Merge "Use json extension for .stylelintrc"
2017-08-19 23:05:04 +00:00
i18n
modules
.gitignore
.gitreview
.stylelintrc.json
CiteThisPage.alias.php
CiteThisPage.hooks.php
CiteThisPage.php
CODE_OF_CONDUCT.md
composer.json
COPYING.txt
extension.json
Gruntfile.js
package.json
phpcs.xml
SpecialCiteThisPage.php