Delete html_helper.php~