pageindex.php

来自「很棒的在线教学系统」· PHP 代码 · 共 44 行

PHP
44
字号
<?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 + =
减小字号Ctrl + -
显示快捷键?