📄 pageindex.php
字号:
<?php # this plugins provides the internal page "PageIndex", which lists all # pages alphabeticallydefine("EWIKI_PAGE_PAGEINDEX", "PageIndex");$ewiki_plugins["page"][EWIKI_PAGE_PAGEINDEX] = "ewiki_page_index";function ewiki_page_index($id=0, $data=0, $action=0, $args=array()) { global $ewiki_plugins; $o = ewiki_make_title($id, $id, 2); $sorted = array(); $sorted = array_merge($sorted, array_keys($ewiki_plugins["page"])); $exclude = "\n" . implode("\n", preg_split("/\s*[,;:\|]\s*/", $args["exclude"])) . "\n"; $result = ewiki_database("GETALL", array("flags")); while ($row = $result->get()) { if (EWIKI_PROTECTED_MODE && EWIKI_PROTECTED_MODE_HIDING && !ewiki_auth($row["id"], $uu, "view")) { continue; } if (($row["flags"] & EWIKI_DB_F_TYPE) == EWIKI_DB_F_TEXT) { if (!stristr($exclude, "\n".$row["id"]."\n")) { $sorted[] = $row["id"]; } } } natcasesort($sorted); $o .= ewiki_list_pages($sorted, 0, 0, $ewiki_plugins["list_dict"][0]); return($o);}?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -