/*
 * @copyright UniMentor e.V.
 * @since 04.05.2009
 * @version $Rev: 1362 $
 * @author Michael Kriese <michael.kriese@unimentor.de>
 */

function $(element) {
	return document.getElementById(element);
}

function askRoleRevoke(role){
	var res = confirm("Den/Die User wirklich aus der Rolle \"" + role +"\" entfernen?");
	
	if (res == true)
		return true;
	else
		return false;
}