mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText
synced 2024-09-23 10:19:50 +00:00
Upgrade ReplaceText extension to use newer phan
Bug: T216938 Change-Id: I30e9bd108e1196efd822525423ec94d9a1f6a318
This commit is contained in:
parent
bf538064a8
commit
bf89ab371d
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -6,5 +6,4 @@
|
|||
node_modules/
|
||||
vendor/
|
||||
composer.lock
|
||||
tests/phan/issues
|
||||
package-lock.json
|
||||
|
|
|
@ -1,18 +1,18 @@
|
|||
<?php
|
||||
|
||||
$cfg = require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
||||
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
||||
|
||||
$cfg['directory_list'] = array_merge(
|
||||
$cfg['directory_list'],
|
||||
[
|
||||
'./../../extensions/AdminLinks',
|
||||
'../../extensions/AdminLinks',
|
||||
]
|
||||
);
|
||||
|
||||
$cfg['exclude_analysis_directory_list'] = array_merge(
|
||||
$cfg['exclude_analysis_directory_list'],
|
||||
[
|
||||
'./../../extensions/AdminLinks',
|
||||
'../../extensions/AdminLinks',
|
||||
]
|
||||
);
|
||||
|
|
@ -4,7 +4,7 @@
|
|||
"mediawiki/mediawiki-codesniffer": "24.0.0",
|
||||
"jakub-onderka/php-console-highlighter": "0.3.2",
|
||||
"mediawiki/minus-x": "0.3.1",
|
||||
"mediawiki/mediawiki-phan-config": "0.3.0"
|
||||
"mediawiki/mediawiki-phan-config": "0.4.0"
|
||||
},
|
||||
"scripts": {
|
||||
"fix": [
|
||||
|
|
Loading…
Reference in a new issue