wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-23 14:46:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Upgrade InputBox extension to use newer phan

Browse source 
Bug: T216922
Change-Id: I64e8a4e97e6d7e8216845b3cc912239c69107dd7
This commit is contained in:
zoranzoki21 2019-03-02 21:02:16 +01:00
parent 1d399b0f8d
commit 02f1a2705f
4 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -5,4 +5,3 @@
/node_modules/
/vendor/
/composer.lock
tests/phan/issues

3
.phan/config.php Normal file
View file

@ -0,0 +1,3 @@
<?php
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';

2
composer.json
View file

@ -4,7 +4,7 @@
"jakub-onderka/php-console-highlighter": "0.3.2",
"mediawiki/mediawiki-codesniffer": "24.0.0",
"mediawiki/minus-x": "0.3.1",
"mediawiki/mediawiki-phan-config": "0.3.0"
"mediawiki/mediawiki-phan-config": "0.4.0"
},
"scripts": {
"fix": [

3
tests/phan/config.php
View file

@ -1,3 +0,0 @@
<?php
return require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';