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

build: Bump mediawiki-phan-config to 0.8.0

Browse source 
Change-Id: Icbe64747c8c219882d419f4767704af96368b11a
This commit is contained in:
Daimona Eaytoy 2019-10-20 12:10:45 +00:00
parent 0cbd696ad1
commit 12065c11ca
3 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
composer.json
View file

@ -4,7 +4,7 @@
"mediawiki/mediawiki-codesniffer": "28.0.0",
"jakub-onderka/php-console-highlighter": "0.3.2",
"mediawiki/minus-x": "0.3.2",
"mediawiki/mediawiki-phan-config": "0.6.1"
"mediawiki/mediawiki-phan-config": "0.8.0"
},
"scripts": {
"test": [

1
includes/ApiRecordLint.php
View file

@ -47,6 +47,7 @@ class ApiRecordLint extends ApiBase {
if ( !is_array( $data ) ) {
$this->dieWithError( 'apierror-linter-invalid-data', 'invalid-data' );
}
'@phan-var array[] $data';
$errors = [];
$title = Title::newFromText( $params['page'] );

1
includes/LintErrorsPager.php
View file

@ -182,6 +182,7 @@ class LintErrorsPager extends TablePager {
if ( isset( $lintError->templateInfo['multiPartTemplateBlock'] ) ) {
return $this->msg( 'multi-part-template-block' )->escaped();
} else {
// @phan-suppress-next-line PhanTypeArraySuspiciousNullable Null checked above
$templateName = $lintError->templateInfo['name'];
// Parsoid provides us with fully qualified template title
// So, fallback to the default main namespace