* htdocs/extra_js.php: clean