betz            Sat Jan 17 09:42:14 2004 EDT

  Modified files:              
    /phpdoc/en/reference/datetime/functions     microtime.xml 
  Log:
  cs, for structure corrected
  
  
Index: phpdoc/en/reference/datetime/functions/microtime.xml
diff -u phpdoc/en/reference/datetime/functions/microtime.xml:1.8 
phpdoc/en/reference/datetime/functions/microtime.xml:1.9
--- phpdoc/en/reference/datetime/functions/microtime.xml:1.8    Thu Jan 15 07:42:08 
2004
+++ phpdoc/en/reference/datetime/functions/microtime.xml        Sat Jan 17 09:42:13 
2004
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.8 $ -->
+<!-- $Revision: 1.9 $ -->
 <!-- splitted from ./en/functions/datetime.xml, last change in rev 1.2 -->
   <refentry id="function.microtime">
    <refnamediv>
@@ -51,7 +51,7 @@
 
 $time_start = getmicrotime();
     
-for ($i=0; $i < 1000; $i++){
+for ($i=0; $i < 1000; $i++) {
     // do nothing, 1000 times
 }
 
@@ -64,7 +64,7 @@
 
 $time_start = microtime(1);
 
-for ($i=0; $i < 1000; $i++){
+for ($i=0; $i < 1000; $i++) {
      // do nothing, 1000 times
 }
 

Reply via email to