Use PHP Short tags