diff options
Diffstat (limited to 'system/libraries/Profiler.php')
| -rw-r--r-- | system/libraries/Profiler.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/system/libraries/Profiler.php b/system/libraries/Profiler.php index 8a45933e1..807c1aff6 100644 --- a/system/libraries/Profiler.php +++ b/system/libraries/Profiler.php @@ -106,7 +106,7 @@ class CI_Profiler { $output .= '<fieldset style="border:1px solid #0000FF;padding:6px 10px 10px 10px;margin:20px 0 20px 0;background-color:#eee">';
$output .= "\n";
- if ( ! class_exists('CI_DB_driver'))
+ if (! class_exists('CI_DB_driver'))
{
$output .= '<legend style="color:#0000FF;"> '.$this->CI->lang->line('profiler_queries').' </legend>';
$output .= "\n";
@@ -175,7 +175,7 @@ class CI_Profiler { foreach ($_GET as $key => $val)
{
- if ( ! is_numeric($key))
+ if (! is_numeric($key))
{
$key = "'".$key."'";
}
@@ -225,7 +225,7 @@ class CI_Profiler { foreach ($_POST as $key => $val)
{
- if ( ! is_numeric($key))
+ if (! is_numeric($key))
{
$key = "'".$key."'";
}
|