Change file extension to PHP