build: Add mediawiki/mediawiki-phan-config
Phan is a requirement to deploy extensions on wmf-production Bug: T310367 Change-Id: Ic61c98ef72621a4f6e10cdf59e276ab13247857c
这个提交包含在:
父节点
0d7d1b58d8
当前提交
1c09ce4160
|
@ -0,0 +1,3 @@
|
|||
<?php
|
||||
|
||||
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
@ -1,6 +1,7 @@
|
|||
{
|
||||
"require-dev": {
|
||||
"mediawiki/mediawiki-codesniffer": "40.0.1",
|
||||
"mediawiki/mediawiki-phan-config": "0.12.0",
|
||||
"mediawiki/minus-x": "1.1.1",
|
||||
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
||||
"php-parallel-lint/php-parallel-lint": "1.3.2"
|
||||
|
@ -15,6 +16,7 @@
|
|||
"minus-x fix .",
|
||||
"phpcbf"
|
||||
],
|
||||
"phan": "phan -d . --long-progress-bar",
|
||||
"phpcs": "phpcs -sp --cache"
|
||||
}
|
||||
}
|
||||
|
|
|
@ -5,8 +5,11 @@ namespace SearchVue;
|
|||
use MediaWiki\MediaWikiServices;
|
||||
use MediaWiki\Search\SearchWidgets\FullSearchResultWidget;
|
||||
use MediaWiki\SpecialPage\Hook\SpecialPageBeforeExecuteHook;
|
||||
use OutputPage;
|
||||
use SearchResultSet;
|
||||
use SpecialPage;
|
||||
use SpecialSearch;
|
||||
use User;
|
||||
|
||||
/**
|
||||
* @license GPL-2.0-or-later
|
||||
|
|
正在加载...
在新工单中引用