Use ASCII only

Since PHP files must be ASCII encoded, only check for ASCII characters