diff options
Diffstat (limited to 'user_guide')
| -rw-r--r-- | user_guide/libraries/benchmark.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide/libraries/benchmark.html b/user_guide/libraries/benchmark.html index 9d286aa52..0f447cdd9 100644 --- a/user_guide/libraries/benchmark.html +++ b/user_guide/libraries/benchmark.html @@ -145,11 +145,11 @@ $this->benchmark->mark('another_mark<kbd>_start</kbd>');<br /> // Some more code happens here...<br />
<br />
$this->benchmark->mark('another_mark<kbd>_end</kbd>');
+</code>
<p>Please read the <a href="../general/profiling.html">Profiler page</a> for more information.</p>
-
<a name="execution"></a>
<h2>Displaying Total Execution Time</h2>
|