Searched refs:page4release (Results 1 – 5 of 5) sorted by last modified time
1 div.page4release {
25 $page4release = unserialize(io_readFile($conf['indexdir'].'/page4release.idx', false));28 if ((is_array($page4release)) && (array_key_exists($filename, $page4release))) {30 …if ( (array_key_exists($ID,$page4release[$filename]) && ($page4release[$filename][$ID] != $rele…31 || (!array_key_exists($ID,$page4release[$filename]) && ($release))37 foreach ($page4release[$filename] as $otherId=>$otherRelease) {44 $page4release[$filename][$ID] = $release;47 unset($page4release[$filename][$ID]);50 $page4release[$filename] = array($ID => $release);52 io_saveFile($conf['indexdir'].'/page4release.idx', serialize($page4release));
6 name page4release8 url http://www.dokuwiki.org/plugin:page4release
34 $page4release = array(); variable41 $page4release[$filename][$page['id']] = $release;48 foreach ($page4release as $filename => $pages) {53 io_saveFile($conf['indexdir'].'/page4release.idx', serialize($page4release));
49 $page4release = unserialize(io_readFile($conf['indexdir'].'/page4release.idx', false));51 if (isset($page4release[$filename])) {52 foreach ($page4release[$filename] as $otherId=>$otherRelease) {