Convert to PHP file.