MDL-39552 Make behat code re-entrant safe
[moodle.git] / theme / clean / config.php
blob0517f37903835681334c6593a075d007bc563319
1 <?php
2 // This file is part of Moodle - http://moodle.org/
3 //
4 // Moodle is free software: you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation, either version 3 of the License, or
7 // (at your option) any later version.
8 //
9 // Moodle is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License
15 // along with Moodle. If not, see <http://www.gnu.org/licenses/>.
17 /**
18 * Moodle's Clean theme, an example of how to make a Bootstrap theme
20 * DO NOT MODIFY THIS THEME!
21 * COPY IT FIRST, THEN RENAME THE COPY AND MODIFY IT INSTEAD.
23 * For full information about creating Moodle themes, see:
24 * http://docs.moodle.org/dev/Themes_2.0
26 * @package theme_clean
27 * @copyright 2013 Moodle, moodle.org
28 * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
31 $THEME->name = 'clean';
33 /////////////////////////////////
34 // The only thing you need to change in this file when copying it to
35 // create a new theme is the name above. You also need to change the name
36 // in version.php and lang/en/theme_clean.php as well.
37 //////////////////////////////////
39 $THEME->doctype = 'html5';
40 $THEME->parents = array('bootstrapbase');
41 $THEME->sheets = array('custom');
42 $THEME->supportscssoptimisation = false;
43 $THEME->yuicssmodules = array();
45 $THEME->editor_sheets = array();
47 $THEME->plugins_exclude_sheets = array(
48 'block' => array(
49 'html',
51 'gradereport' => array(
52 'grader',
56 $THEME->rendererfactory = 'theme_overridden_renderer_factory';
57 $THEME->csspostprocess = 'clean_process_css';
59 $useragent = '';
60 if (!empty($_SERVER['HTTP_USER_AGENT'])) {
61 $useragent = $_SERVER['HTTP_USER_AGENT'];
63 if (strpos($useragent, 'MSIE 8') || strpos($useragent, 'MSIE 7')) {
64 $THEME->javascripts[] = 'html5shiv';