mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-11-24 07:34:22 +00:00
build: Updating mediawiki/mediawiki-phan-config to 0.12.0
Change-Id: I8b7a32686e4ead725539c449a58d58c86e58783c
This commit is contained in:
parent
c82e9291d3
commit
049deca5d7
|
@ -1,7 +1,7 @@
|
||||||
{
|
{
|
||||||
"require-dev": {
|
"require-dev": {
|
||||||
"mediawiki/mediawiki-codesniffer": "39.0.0",
|
"mediawiki/mediawiki-codesniffer": "39.0.0",
|
||||||
"mediawiki/mediawiki-phan-config": "0.11.1",
|
"mediawiki/mediawiki-phan-config": "0.12.0",
|
||||||
"mediawiki/minus-x": "1.1.1",
|
"mediawiki/minus-x": "1.1.1",
|
||||||
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
||||||
"php-parallel-lint/php-parallel-lint": "1.3.2"
|
"php-parallel-lint/php-parallel-lint": "1.3.2"
|
||||||
|
|
|
@ -49,7 +49,7 @@ class Matrix extends TexNode {
|
||||||
}
|
}
|
||||||
|
|
||||||
private function renderMatrix( $matrix ) {
|
private function renderMatrix( $matrix ) {
|
||||||
$mapped = array_map( 'self::renderLine', $matrix->args );
|
$mapped = array_map( [ self::class, 'renderLine' ], $matrix->args );
|
||||||
return implode( '\\\\', $mapped );
|
return implode( '\\\\', $mapped );
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -79,7 +79,7 @@ class Matrix extends TexNode {
|
||||||
return $a;
|
return $a;
|
||||||
}
|
}
|
||||||
|
|
||||||
$reduced = array_reduce( $a, 'self::reduceCallback', [] );
|
$reduced = array_reduce( $a, [ self::class, 'reduceCallback' ], [] );
|
||||||
return $reduced;
|
return $reduced;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue