public function getSpecialPages() { static $pages; if (isset($pages)) { return $pages; } $dh = opendir(WICKED_BASE . '/lib/Page'); $pages = array(); while (($dent = readdir($dh)) !== false) { if (!preg_match('/(.*)\\.php$/', $dent, $matches)) { continue; } $pageName = $matches[1]; if ($pageName == 'StandardPage') { continue; } $pages[$pageName] = $pageName; } closedir($dh); return $pages; }