Searched refs:mizarMsgFile (Results 1 – 3 of 3) sorted by relevance
349 private function getMizarErrorMessages($mizarMsgFile) argument352 $lines = file($mizarMsgFile, FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES);
403 private function getMizarErrorMessages($mizarMsgFile) argument405 if (!is_file($mizarMsgFile)) return [];407 $lines = file($mizarMsgFile, FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES);