sfPhastUIWidget tinymce plugin fixed