handling of AUTO_INCREMENT when moving a table

ChangeLog

@@ -9,6 +9,8 @@ $Source$
 2006-07-22 Marc Delisle  <lem9@users.sourceforge.net>
     * libraries/display_import.lib.php: the Character set of the file
       could appear twice
+    * tbl_properties_operations.php: handling of AUTO_INCREMENT when moving a
+      table
 
 2006-07-20 Michal Čihař  <michal@cihar.com>
     * libraries/compat/var_export.php: Dropped due to license problems.

tbl_properties_operations.php

@@ -195,7 +195,11 @@ foreach ($dblist as $each_db) {
     </select>
     &nbsp;<b>.</b>&nbsp;
     <input type="text" size="20" name="new_name" onfocus="this.select()"
-        value="<?php echo htmlspecialchars($GLOBALS['table']); ?>" />
+value="<?php echo htmlspecialchars($GLOBALS['table']); ?>" /><br />
+    <input type="checkbox" name="sql_auto_increment" value="1" id="checkbox_auto_increment" />
+    <label for="checkbox_auto_increment"><?php echo $strAddAutoIncrement; ?></label><br />
+</fieldset>
+<fieldset class="tblFooters">
     <input type="submit" name="submit_move" value="<?php echo $strGo; ?>" />
 </fieldset>
 </form>