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
diff --git a/system/libraries/Benchmark.php b/system/libraries/Benchmark.php
index 899350b..4c9993a 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 @@
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();
}