Delete html_js_php.js