build_pagename($name); if (page_exists($page)) { $source = rawWiki($page); $mtime = p_get_metadata($page, 'last_change date'); } else { $source = null; $mtime = null; } } protected function fetchTimestamp($name) { $page = $this->build_pagename($name); if (page_exists($page)) { return p_get_metadata($page, 'last_change date'); } else { return null; } } } ?>