diff options
| author | Derek Jones <derek.jones@ellislab.com> | 2008-05-13 06:22:33 +0200 |
|---|---|---|
| committer | Derek Jones <derek.jones@ellislab.com> | 2008-05-13 06:22:33 +0200 |
| commit | 0b59f270a432f8c7b6128981f0a39b4a2e2fbd34 (patch) | |
| tree | 1e7655eabd76bb981692f5d4f21cb1fc7be3e9cd /system/libraries/Benchmark.php | |
| parent | 5cf664748ee295867f593d7eb7991bd35fe8eca6 (diff) | |
Some sweeping syntax changes for consistency:
(! foo) changed to ( ! foo)
|| changed to OR
changed newline standardization code in various places from preg_replace to str_replace
Diffstat (limited to 'system/libraries/Benchmark.php')
| -rw-r--r-- | system/libraries/Benchmark.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/system/libraries/Benchmark.php b/system/libraries/Benchmark.php index 899350bf7..4c9993a0f 100644 --- a/system/libraries/Benchmark.php +++ b/system/libraries/Benchmark.php @@ -1,4 +1,4 @@ -<?php if (!defined('BASEPATH')) exit('No direct script access allowed');
+<?php if ( ! defined('BASEPATH')) exit('No direct script access allowed');
/**
* CodeIgniter
*
@@ -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();
}
|