admin/search.php

   1 <?php
   2
   3 // searches for admin settings
   4
   5 require_once('../config.php');
   6 require_once($CFG->libdir.'/adminlib.php');
   7
   8 $query = trim(optional_param('query', '', PARAM_NOTAGS));  // Search string
   9
  10 $PAGE->set_context(get_context_instance(CONTEXT_SYSTEM));
  11 $PAGE->set_course($SITE);
  12
  13 $adminroot = admin_get_root(); // need all settings here
  14 $adminroot->search = $query; // So we can reference it in search boxes later in this invocation
  15 $statusmsg = '';
  16 $errormsg  = '';
  17 $focus = '';
  18
  19 admin_externalpage_setup('search', '', array('query' => $query)); // now hidden page
  20
  21 // now we'll deal with the case that the admin has submitted the form with changed settings
  22 if ($data = data_submitted() and confirm_sesskey()) {
  23     if (admin_write_settings($data)) {
  24         $statusmsg = get_string('changessaved');
  25     }
  26     $adminroot = admin_get_root(true); //reload tree
  27
  28     if (!empty($adminroot->errors)) {
  29         $errormsg = get_string('errorwithsettings', 'admin');
  30         $firsterror = reset($adminroot->errors);
  31         $focus = $firsterror->id;
  32     }
  33 }
  34
  35 // and finally, if we get here, then there are matching settings and we have to print a form
  36 // to modify them
  37 echo $OUTPUT->header($focus);
  38
  39 if ($errormsg !== '') {
  40     echo $OUTPUT->notification($errormsg);
  41
  42 } else if ($statusmsg !== '') {
  43     echo $OUTPUT->notification($statusmsg, 'notifysuccess');
  44 }
  45
  46 $resultshtml = admin_search_settings_html($query); // case insensitive search only
  47
  48 echo '<form action="search.php" method="post" id="adminsettings">';
  49 echo '<div>';
  50 echo '<input type="hidden" name="sesskey" value="'.sesskey().'" />';
  51 echo '<input type="hidden" name="query" value="'.s($query).'" />';
  52 echo '</div>';
  53 echo '<fieldset>';
  54 echo '<div class="clearer"><!-- --></div>';
  55 if ($resultshtml != '') {
  56     echo $resultshtml;
  57 } else {
  58     echo get_string('noresults','admin');
  59 }
  60 echo '</fieldset>';
  61 echo '</form>';
  62
  63 echo $OUTPUT->footer();
  64
  65