private function getLatexStatus()
 {
     global $CFG;
     $filters = filter_get_globally_enabled();
     // Since Moodle 2.5 key is 'tex' not 'filter/tex'
     $status = $CFG->version >= 2013051400 ? array_key_exists('tex', $filters) : array_key_exists('filter/tex', $filters);
     return $status;
 }

/**
 * @param string $filtername The filter name, for example 'tex'.
 * @return boolean is this filter allowed to be used on this site. That is, the
 *      admin has set the global 'active' setting to On, or Off, but available.
 */
function filter_is_enabled($filtername)
{
    if (strpos($filtername, 'filter/') === 0) {
        //debugging("Old filtername '$filtername' parameter used in filter_is_enabled()", DEBUG_DEVELOPER);
        $filtername = substr($filtername, 7);
    } else {
        if (strpos($filtername, '/') !== false) {
            throw new coding_exception("Invalid filter name '{$filtername}' used in filter_is_enabled()");
        }
    }
    return array_key_exists($filtername, filter_get_globally_enabled());
}

 // "filtersettings" settingpage
 $temp = new admin_settingpage('commonfiltersettings', get_string('commonfiltersettings', 'admin'));
 if ($ADMIN->fulltree) {
     $cachetimes = array(604800 => get_string('numdays', '', 7), 86400 => get_string('numdays', '', 1), 43200 => get_string('numhours', '', 12), 10800 => get_string('numhours', '', 3), 7200 => get_string('numhours', '', 2), 3600 => get_string('numhours', '', 1), 2700 => get_string('numminutes', '', 45), 1800 => get_string('numminutes', '', 30), 900 => get_string('numminutes', '', 15), 600 => get_string('numminutes', '', 10), 540 => get_string('numminutes', '', 9), 480 => get_string('numminutes', '', 8), 420 => get_string('numminutes', '', 7), 360 => get_string('numminutes', '', 6), 300 => get_string('numminutes', '', 5), 240 => get_string('numminutes', '', 4), 180 => get_string('numminutes', '', 3), 120 => get_string('numminutes', '', 2), 60 => get_string('numminutes', '', 1), 30 => get_string('numseconds', '', 30), 0 => get_string('no'));
     $items = array();
     $items[] = new admin_setting_configselect('cachetext', get_string('cachetext', 'admin'), get_string('configcachetext', 'admin'), 60, $cachetimes);
     $items[] = new admin_setting_configselect('filteruploadedfiles', get_string('filteruploadedfiles', 'admin'), get_string('configfilteruploadedfiles', 'admin'), 0, array('0' => get_string('none'), '1' => get_string('allfiles'), '2' => get_string('htmlfilesonly')));
     $items[] = new admin_setting_configcheckbox('filtermatchoneperpage', get_string('filtermatchoneperpage', 'admin'), get_string('configfiltermatchoneperpage', 'admin'), 0);
     $items[] = new admin_setting_configcheckbox('filtermatchonepertext', get_string('filtermatchonepertext', 'admin'), get_string('configfiltermatchonepertext', 'admin'), 0);
     foreach ($items as $item) {
         $item->set_updatedcallback('reset_text_filters_cache');
         $temp->add($item);
     }
 }
 $ADMIN->add('filtersettings', $temp);
 $activefilters = filter_get_globally_enabled();
 $filternames = filter_get_all_installed();
 foreach ($filternames as $filterpath => $strfiltername) {
     if (file_exists("{$CFG->dirroot}/{$filterpath}/filtersettings.php")) {
         $settings = new admin_settingpage('filtersetting' . str_replace('/', '', $filterpath), $strfiltername, 'moodle/site:config', !isset($activefilters[$filterpath]));
         if ($ADMIN->fulltree) {
             include "{$CFG->dirroot}/{$filterpath}/filtersettings.php";
         }
         $ADMIN->add('filtersettings', $settings);
     }
 }
 $catname = get_string('portfolios', 'portfolio');
 $manage = get_string('manageportfolios', 'portfolio');
 $url = "{$CFG->wwwroot}/{$CFG->admin}/portfolio.php";
 $ADMIN->add('modules', new admin_category('portfoliosettings', $catname, empty($CFG->enableportfolios)));
 // jump through hoops to do what we want

/**
 * @param string $filter The filter name, for example 'filter/tex' or 'mod/glossary'.
 * @return boolean is this filter allowed to be used on this site. That is, the
 *      admin has set the global 'active' setting to On, or Off, but available.
 */
function filter_is_enabled($filter)
{
    return array_key_exists($filter, filter_get_globally_enabled());
}

/**
 * Verifies sloppy swf embedding - this should have been removed long ago!!
 * @param bool $detailed
 * @return object result
 */
function report_security_check_mediafilterswf($detailed = false)
{
    global $CFG;
    $result = new stdClass();
    $result->issue = 'report_security_check_mediafilterswf';
    $result->name = get_string('check_mediafilterswf_name', 'report_security');
    $result->info = null;
    $result->details = null;
    $result->status = null;
    $result->link = "<a href=\"{$CFG->wwwroot}/{$CFG->admin}/settings.php?section=filtersettingfiltermediaplugin\">" . get_string('filtersettings', 'admin') . '</a>';
    $activefilters = filter_get_globally_enabled();
    if (array_search('mediaplugin', $activefilters) !== false and !empty($CFG->filter_mediaplugin_enable_swf)) {
        $result->status = REPORT_SECURITY_CRITICAL;
        $result->info = get_string('check_mediafilterswf_error', 'report_security');
    } else {
        $result->status = REPORT_SECURITY_OK;
        $result->info = get_string('check_mediafilterswf_ok', 'report_security');
    }
    if ($detailed) {
        $result->details = get_string('check_mediafilterswf_details', 'report_security');
    }
    return $result;
}

/**
 * Verifies sloppy swf embedding - this should have been removed long ago!!
 * @param bool $detailed
 * @return object result
 */
function report_security_check_mediafilterswf($detailed=false) {
    global $CFG;

    $result = new stdClass();
    $result->issue   = 'report_security_check_mediafilterswf';
    $result->name    = get_string('check_mediafilterswf_name', 'report_security');
    $result->info    = null;
    $result->details = null;
    $result->status  = null;
    $result->link    = "<a href=\"$CFG->wwwroot/$CFG->admin/settings.php?section=managemediaplayers\">" .
        get_string('managemediaplayers', 'media') . '</a>';

    $activefilters = filter_get_globally_enabled();

    $enabledmediaplayers = \core\plugininfo\media::get_enabled_plugins();
    if (array_search('mediaplugin', $activefilters) !== false and array_key_exists('swf', $enabledmediaplayers)) {
        $result->status = REPORT_SECURITY_CRITICAL;
        $result->info   = get_string('check_mediafilterswf_error', 'report_security');
    } else {
        $result->status = REPORT_SECURITY_OK;
        $result->info   = get_string('check_mediafilterswf_ok', 'report_security');
    }

    if ($detailed) {
        $result->details = get_string('check_mediafilterswf_details', 'report_security');
    }

    return $result;
}