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 }