Support for short php markers