php short opening tags replaced with standard opening tags