diff options
| author | Derek Allard <derek.allard@ellislab.com> | 2008-05-05 18:39:18 +0200 |
|---|---|---|
| committer | Derek Allard <derek.allard@ellislab.com> | 2008-05-05 18:39:18 +0200 |
| commit | 7327499064ae165468c7440f8571c3e570b58a0b (patch) | |
| tree | 4f0d0053e7d25f7064c63070edcbc3af114abed9 /system/libraries/Benchmark.php | |
| parent | 7539f67a23c8536f892263d8d7ab9448655d8e22 (diff) | |
Added get_dir_file_info(), get_file_info(), and get_mime_by_extension() to the File Helper.
Changed ( ! condition) into (! condition) within the code
Diffstat (limited to 'system/libraries/Benchmark.php')
| -rw-r--r-- | system/libraries/Benchmark.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/system/libraries/Benchmark.php b/system/libraries/Benchmark.php index bca37822b..323d9668d 100644 --- a/system/libraries/Benchmark.php +++ b/system/libraries/Benchmark.php @@ -71,12 +71,12 @@ class CI_Benchmark { return '{elapsed_time}';
}
- if ( ! isset($this->marker[$point1]))
+ if (! isset($this->marker[$point1]))
{
return '';
}
- if ( ! isset($this->marker[$point2]))
+ if (! isset($this->marker[$point2]))
{
$this->marker[$point2] = microtime();
}
|