2019.04 */ function highlighter_add_config(): void { $config = Config::current(); if (!isset($config->module_highlighter)) { $set = $config->set( "module_highlighter", array("stylesheet" => "monokai-sublime.css") ); if ($set === false) error( __("Error"), __("Could not write the configuration file.") ); } } highlighter_add_config();