diff options
author | admin <devnull@localhost> | 2006-10-21 20:04:01 +0200 |
---|---|---|
committer | admin <devnull@localhost> | 2006-10-21 20:04:01 +0200 |
commit | e7e1dcd452a15abaaa01c03cd1ade564e3a59453 (patch) | |
tree | cf531f1e81ce86d28eb9dce4d9c0138e2a40ca90 /user_guide/general/profiling.html | |
parent | 9fcc28a29299fbbc242f87bf1b1e61fda6543886 (diff) |
Diffstat (limited to 'user_guide/general/profiling.html')
-rw-r--r-- | user_guide/general/profiling.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide/general/profiling.html b/user_guide/general/profiling.html index 42cba043e..880aa0c50 100644 --- a/user_guide/general/profiling.html +++ b/user_guide/general/profiling.html @@ -74,7 +74,7 @@ This information can be useful during development in order to help with debuggin <h2>Enabling the Profiler</h2>
-<p>To enable the profiler place the the following function anywhere within your <a href="controllers.html">Controller</a> functions:</p>
+<p>To enable the profiler place the following function anywhere within your <a href="controllers.html">Controller</a> functions:</p>
<code>$this->output->enable_profiler(TRUE);</code>
<p>When enabled a report will be generated and inserted at the bottom of your pages.</p>
|