rewritten edit_module_files.php; some more changes