<?
+ session_start();
+
if (!isset($config_php))
include("../config/config.php");
if (!isset($strings_php))
echo _("Rename a folder");
echo "</B></TD></TR>";
echo "<TR><TD BGCOLOR=\"$color[4]\" ALIGN=CENTER>";
- echo "<FORM ACTION=folders_rename_do.php METHOD=POST>\n";
+ echo "<FORM ACTION=\"folders_rename_do.php?PHPSESSID=$PHPSESSID\" METHOD=\"POST\">\n";
echo _("New name:");
echo " <INPUT TYPE=TEXT SIZE=25 NAME=new_name VALUE=\"$old_name\"><BR>\n";
if ($isfolder)