false, 'include_empty' => true, 'exclude' => '', 'info' => '', 'debug' => false ); } // info arg allows multiple columns info=mtime,hits,summary,version,author,locked,minor,markup or all // exclude arg allows multiple pagenames exclude=WikiAdmin,.SecretUser // include_empty shows also users which stored their preferences, but never saved their homepage function run($dbi, $argstr, $request) { extract($this->getArgs($argstr, $request)); $pagelist = new PageList($info, $exclude); if (!$noheader) $pagelist->setCaption(_("Authenticated users on this wiki (%d total):")); // deleted pages show up as version 0. if ($include_empty) $pagelist->_addColumn('version'); if (defined('DEBUG')) $debug = true; if ($debug) $time_start = $this->getmicrotime(); $page_iter = $dbi->getAllPages($include_empty); while ($page = $page_iter->next()) { if ($page->isUserPage($include_empty)) $pagelist->addPage($page); } if ($debug) $time_end = $this->getmicrotime(); if ($debug) { $time = round($time_end - $time_start, 3); return HTML($pagelist,HTML::p(fmt("Elapsed time: %s s", $time))); } else { return $pagelist; } } function getmicrotime(){ list($usec, $sec) = explode(" ",microtime()); return (float)$usec + (float)$sec; } }; // Local Variables: // mode: php // tab-width: 8 // c-basic-offset: 4 // c-hanging-comment-ender-p: nil // indent-tabs-mode: nil // End: ?>