';
}
}
public static function adminBeforeUserUpdate($cur,$userID)
{
global $core;
// Get and store user's prefs for plugin options
$core->auth->user_prefs->addWorkspace('interface');
try {
$core->auth->user_prefs->interface->put('colorsyntax',!empty($_POST['colorsyntax']),'boolean');
}
catch (Exception $e)
{
$core->error->add($e->getMessage());
}
}
public static function adminPreferencesForm($core)
{
// Add fieldset for plugin options
$core->auth->user_prefs->addWorkspace('interface');
echo
'';
}
}
?>