PHP shorttags gone