gettext.w.o: Remove stray HTML comment in a PHP block