Upgrade to newer phan
Change-Id: Idb1940b42d85afb80422c4f10a50942464c3afba
This commit is contained in:
parent
244bc6b050
commit
1c67fac1b4
5 changed files with 5 additions and 5 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -40,5 +40,4 @@ Thumbs.db
|
||||||
/tags
|
/tags
|
||||||
/.htaccess
|
/.htaccess
|
||||||
/.htpasswd
|
/.htpasswd
|
||||||
tests/phan/issues
|
|
||||||
.eslintcache
|
.eslintcache
|
||||||
|
|
3
.phan/config.php
Normal file
3
.phan/config.php
Normal file
|
@ -0,0 +1,3 @@
|
||||||
|
<?php
|
||||||
|
|
||||||
|
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
@ -4,7 +4,7 @@
|
||||||
"jakub-onderka/php-console-highlighter": "0.3.2",
|
"jakub-onderka/php-console-highlighter": "0.3.2",
|
||||||
"mediawiki/mediawiki-codesniffer": "24.0.0",
|
"mediawiki/mediawiki-codesniffer": "24.0.0",
|
||||||
"mediawiki/minus-x": "0.3.1",
|
"mediawiki/minus-x": "0.3.1",
|
||||||
"mediawiki/mediawiki-phan-config": "0.3.0"
|
"mediawiki/mediawiki-phan-config": "0.5.0"
|
||||||
},
|
},
|
||||||
"scripts": {
|
"scripts": {
|
||||||
"fix": [
|
"fix": [
|
||||||
|
|
|
@ -452,6 +452,7 @@ class MonoBookTemplate extends BaseTemplate {
|
||||||
}
|
}
|
||||||
// Compatibility with extensions still using SkinTemplateToolboxEnd or similar
|
// Compatibility with extensions still using SkinTemplateToolboxEnd or similar
|
||||||
if ( is_array( $options['hooks'] ) ) {
|
if ( is_array( $options['hooks'] ) ) {
|
||||||
|
// @phan-suppress-next-line PhanTypeMismatchForeach T218843
|
||||||
foreach ( $options['hooks'] as $hook => $hookOptions ) {
|
foreach ( $options['hooks'] as $hook => $hookOptions ) {
|
||||||
$contentText .= $this->deprecatedHookHack( $hook, $hookOptions );
|
$contentText .= $this->deprecatedHookHack( $hook, $hookOptions );
|
||||||
}
|
}
|
||||||
|
|
|
@ -1,3 +0,0 @@
|
||||||
<?php
|
|
||||||
|
|
||||||
return require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
|
Loading…
Reference in a new issue