- if (!isset($config_php))
- include("../config/config.php");
- if (!isset($strings_php))
- include("../functions/strings.php");
- if (!isset($page_header_php))
- include("../functions/page_header.php");
- if (!isset($imap_php))
- include("../functions/imap.php");
-
- include("../src/load_prefs.php");
+ if($old_name == $new_name) {
+ $location = get_location();
+ header ("Location: $location/folders.php");
+ exit;
+ }