wikimedia/mediawiki-extensions-Math
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Math synced 2024-12-18 02:20:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Remove unused return values from MMLTestUtil"

Browse source
This commit is contained in:
jenkins-bot 2024-08-13 16:24:05 +00:00 committed by Gerrit Code Review
parent 9432157a0e 10e2e17bb1
commit 4f39420988
1 changed files with 5 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
tests/phpunit/unit/WikiTexVC/MMLTestUtil.php
View file

@ -16,41 +16,23 @@ class MMLTestUtil {
if ( !file_exists( $filePath ) ) { if ( !file_exists( $filePath ) ) {
throw new InvalidArgumentException( "No testfile found at specified path: " . $filePath ); throw new InvalidArgumentException( "No testfile found at specified path: " . $filePath );
} }
$file = file_get_contents( $filePath ); return json_decode( file_get_contents( $filePath ) );
return json_decode( $file );
} }
public static function createJSONstartEnd( $start, $file ) { public static function createJSONstartEnd( $start, $file ) {
if ( $start ) { file_put_contents( $file, $start ? "[\n" : "\n]", FILE_APPEND );
$generated = "[\n";
} else {
$generated = "\n]";
}
if ( file_put_contents( $file, $generated, FILE_APPEND ) !== false ) {
return true;
}
return false;
} }
public static function appendToJSONFile( $dataArray, $file ) { public static function appendToJSONFile( $dataArray, $file ) {
$jsonData = json_encode( $dataArray, JSON_PRETTY_PRINT ) . ","; $jsonData = json_encode( $dataArray, JSON_PRETTY_PRINT ) . ",";
file_put_contents( $file, $jsonData, FILE_APPEND );
if ( file_put_contents( $file, $jsonData, FILE_APPEND ) !== false ) {
return true;
}
return false;
} }
public static function deleteFile( $file ) { public static function deleteFile( $file ): void {
if ( file_exists( $file ) ) { if ( file_exists( $file ) ) {
if ( unlink( $file ) ) { unlink( $file );
return true;
} else {
return false;
} }
} }
return null;
}
public static function prettifyXML( $xml, $replaceHeader = true ) { public static function prettifyXML( $xml, $replaceHeader = true ) {
$dom = new DOMDocument(); $dom = new DOMDocument();