diff --git a/functions/mysql.xml b/functions/mysql.xml
index 1db6d45adb..6289be06d1 100644
--- a/functions/mysql.xml
+++ b/functions/mysql.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.81 $ -->
+<!-- $Revision: 1.82 $ -->
  <reference id="ref.mysql">
   <title>MySQL Functions</title>
   <titleabbrev>MySQL</titleabbrev>
@@ -2156,11 +2156,9 @@ $result = mysql_query("SELECT my_col FROM my_tbl")
 <?php 
 mysql_connect("host");
 $result = mysql_list_tables("wisconsin");
-$i = 0;
-while ($i < mysql_num_rows($result)) {
+for ($i = 0; $i < mysql_num_rows($result); $i++) {
     $tb_names[$i] = mysql_tablename($result, $i);
     echo $tb_names[$i] . "<BR>";
-    $i++;
 }
 ?>
 ]]>