WikiDB($backend, $dbparams); } /** * Determine whether page exists (in non-default form). * @see WikiDB::isWikiPage */ function isWikiPage ($pagename) { /* if (empty($this->_iwpcache)) $this->_iwpcache = array_flip($this->_backend->get_all_pagenames()); return isset($this->_iwpcache[$pagename]); */ if (!isset($this->_iwpcache[$pagename])) $this->_iwpcache[$pagename] = $this->_backend->is_wiki_page($pagename); return $this->_iwpcache[$pagename]; // Talk to the backend directly for max speed. /* $pagedata = $this->_cache->get_pagedata($pagename); return !empty($pagedata[':non_default']); */ } }; // Local Variables: // mode: php // End: ?>