3
# this plugins provides the internal page "PageIndex", which lists all
7
define("EWIKI_PAGE_PAGEINDEX", "PageIndex");
8
$ewiki_plugins["page"][EWIKI_PAGE_PAGEINDEX] = "ewiki_page_index";
11
function ewiki_page_index($id=0, $data=0, $action=0, $args=array()) {
13
global $ewiki_plugins;
15
$o = ewiki_make_title($id, $id, 2);
18
$sorted = array_merge($sorted, array_keys($ewiki_plugins["page"]));
20
$exclude = "\n" . implode("\n",
21
preg_split("/\s*[,;:\|]\s*/", $args["exclude"])) .
24
$result = ewiki_database("GETALL", array("flags"));
25
while ($row = $result->get()) {
26
if (EWIKI_PROTECTED_MODE && EWIKI_PROTECTED_MODE_HIDING && !ewiki_auth($row["id"], $uu, "view")) {
29
if (($row["flags"] & EWIKI_DB_F_TYPE) == EWIKI_DB_F_TEXT) {
30
if (!stristr($exclude, "\n".$row["id"]."\n")) {
31
$sorted[] = $row["id"];
38
$o .= ewiki_list_pages($sorted, 0, 0, $ewiki_plugins["list_dict"][0]);
b'\\ No newline at end of file'