bug with field names like '000'

ChangeLog

@@ -5,6 +5,10 @@ phpMyAdmin - Changelog
 $Id$
 $Source$
 
+2005-01-06 Marc Delisle  <lem9@users.sourceforge.net>
+    * tbl_change.php: removed old PHP3-workaround that caused problems
+      with field names like '000'
+
 2005-01-05 Michal Čihař  <michal@cihar.com>
     * tbl_properties_operations.php: Fix changning table parameters if it has
       no auto increment (bug #1096246).

tbl_change.php

@@ -280,14 +280,9 @@ foreach ($loop_array AS $vrowcount => $vrow) {
 
         $field           = $row_table_def['Field'];
 
-        // garvin: possible workaround. If current field is numerical, do not try to
-        //  access the result-array with its 'associative' key but with its numerical
-        //  represantation.
-        if (is_numeric($field)) {
-            $rowfield = $i;
-        } else {
-            $rowfield = $field;
-        }
+        // removed previous PHP3-workaround that caused a problem with
+        // field names like '000'
+        $rowfield = $field;
 
         // d a t e t i m e
         //