wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 02:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Updating mediawiki/mediawiki-phan-config to 0.5.0

Browse source 
Change-Id: If6f3dd1c6c4cec6880c196d29278feba6e3169d9
This commit is contained in:
libraryupgrader 2019-03-11 03:39:36 +00:00 committed by Kunal Mehta
parent a51a6d46b9
commit 207172de43
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
composer.json
View file

@ -6,7 +6,7 @@
"mediawiki/mediawiki-codesniffer": "24.0.0", "mediawiki/mediawiki-codesniffer": "24.0.0",
"jakub-onderka/php-console-highlighter": "0.3.2", "jakub-onderka/php-console-highlighter": "0.3.2",
"mediawiki/minus-x": "0.3.1", "mediawiki/minus-x": "0.3.1",
"mediawiki/mediawiki-phan-config": "0.4.0" "mediawiki/mediawiki-phan-config": "0.5.0"
}, },
"license": "GPL-2.0-or-later", "license": "GPL-2.0-or-later",
"authors": [ "authors": [

2
includes/SyntaxHighlight.php
View file

@ -111,7 +111,7 @@ class SyntaxHighlight {
unset( $args['enclose'] ); unset( $args['enclose'] );
} }
$lexer = isset( $args['lang'] ) ? $args['lang'] : ''; $lexer = $args['lang'] ?? '';
$result = self::highlight( $out, $lexer, $args ); $result = self::highlight( $out, $lexer, $args );
if ( !$result->isGood() ) { if ( !$result->isGood() ) {