/** * Sets the id of the html body element. * The given id is stripped of all non alpha-numeric characters * (except for -). * * @param String $id Id of the body element */ public static function setBodyElementId($id) { self::$body_element_id = preg_replace('/[^\\w-]/', '_', $id); }