fixes #1 : Replace PHP short tags