Searched refs:pluginPageFile (Results 1 – 1 of 1) sorted by relevance
86 $pluginPageFile = $baseDir . '/dokuwiki-plugin-page.txt'; variable87 if (file_exists($pluginPageFile)) {88 $content = file_get_contents($pluginPageFile);111 file_put_contents($pluginPageFile, $content);