Home
last modified time | relevance | path

Searched refs:saveMizarContent (Results 1 – 3 of 3) sorted by relevance

/plugin/mizarproofchecker/
Daction.php84 $filePath = $this->saveMizarContent($mizarData);
176 private function saveMizarContent($mizarData) function in action_plugin_mizarproofchecker
/plugin/mizarveifiabledocs/
Daction.php84 $filePath = $this->saveMizarContent($mizarData);
176 private function saveMizarContent($mizarData) function in action_plugin_mizarverifiabledocs
/plugin/mizarverifiabledocs/
H A Daction.php175 $filePath = $this->saveMizarContent($mizarData);
285 private function saveMizarContent($mizarData) function in action_plugin_mizarverifiabledocs