Killed a PHP short tag