mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki
synced 2024-11-28 00:01:01 +00:00
220cf0d82b
We cannot set this in the normal "require-dev" because the plugin depends on exactly PHP 7.0, preventing running tests on any other PHP version. Instead, CI will read the version number out of the "extra" field to figure out what version to install. Bug: T187497 Change-Id: I17c52102998e3308806bad11bfc1b9dbd44dd490 |
||
---|---|---|
i18n | ||
.gitignore | ||
.gitreview | ||
.jscsrc | ||
.jshintignore | ||
.jshintrc | ||
.phpcs.xml | ||
.stylelintrc.json | ||
CODE_OF_CONDUCT.md | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
Interwiki.alias.php | ||
Interwiki.css | ||
Interwiki.php | ||
Interwiki_body.php | ||
Interwiki_hooks.php | ||
InterwikiLogFormatter.php | ||
package.json |