dirroot.'/logo.jpg')) {
          $standardlogo = $CFG->httpswwwroot.'/logo.jpg';
      } else if (file_exists($CFG->dirroot.'/logo.gif')) {
          $standardlogo = $CFG->httpswwwroot.'/logo.gif';
      } else if (file_exists($CFG->dataroot.'/1/logo.jpg')) {
          if (empty($CFG->slasharguments)) {
              $standardlogo = $CFG->httpswwwroot.'/file.php?file=/1/logo.jpg';
          } else {
              $standardlogo = $CFG->httpswwwroot.'/file.php/1/logo.jpg';
          }
      } else if (file_exists($CFG->dataroot.'/1/logo.gif')) {
          if (empty($CFG->slasharguments)) {
              $standardlogo = $CFG->httpswwwroot.'/file.php?file=/1/logo.gif';
          } else {
              $standardlogo = $CFG->httpswwwroot.'/file.php/1/logo.gif';
          }
      } else {
          $standardlogo = $CFG->httpsthemewww .'/'. current_theme().'/logo.gif';
      }
      
      //Accessibility: warning: ALT text will need editing if logo changes. 'headermain' is now H1.
?>