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);
404 private function getMizarErrorMessages($mizarMsgFile) argument406 if (!is_file($mizarMsgFile)) return [];408 $lines = file($mizarMsgFile, FILE_IGNORE_NEW_LINES | FILE_SKIP_EMPTY_LINES);