__('Results'), 'editing' => __('Record Editing'), 'misc' => __('Miscellaneous') ); // for mysql there are some extra options if ($db->name() == 'mysql') { $pages = array('ui' => __('Interface')) + $pages; } if ( !array_key_exists($p, $pages) ) $p = key($pages); $content = view("options/$p"); $replace = array('CONTENT' => $content); echo view('options', $replace, array('pages' => $pages, 'page' => $p) ); } ?>