re_set_syntax(glossar.html) - phpMan