fix PHP shorttag