Home
last modified time | relevance | path

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

/plugin/mizarproofchecker/
Daction.php77 $mizarData = $this->extractMizarContent($pageContent);
79 if ($mizarData === null) {
84 $filePath = $this->saveMizarContent($mizarData);
176 private function saveMizarContent($mizarData) argument
179 $filePath = $workPath . "/TEXT/" . $mizarData['fileName'];
180 file_put_contents($filePath, $mizarData['content']);
/plugin/mizarveifiabledocs/
Daction.php77 $mizarData = $this->extractMizarContent($pageContent);
79 if ($mizarData === null) {
84 $filePath = $this->saveMizarContent($mizarData);
176 private function saveMizarContent($mizarData) argument
179 $filePath = $workPath . "/TEXT/" . $mizarData['fileName'];
180 file_put_contents($filePath, $mizarData['content']);
/plugin/mizarverifiabledocs/
H A Daction.php170 $mizarData = $this->extractMizarContent($pageContent);
172 … if ($mizarData === null) { $this->sendAjaxResponse(false, 'Mizar content not found'); return; }
173 … if (isset($mizarData['error'])) { $this->sendAjaxResponse(false, $mizarData['error']); return; }
175 $filePath = $this->saveMizarContent($mizarData);
285 private function saveMizarContent($mizarData) argument
291 $filePath = $textDir . DIRECTORY_SEPARATOR . $mizarData['fileName'];
292 file_put_contents($filePath, $mizarData['content']);