Some methods moved, speed improved

[core.git] / inc / classes / exceptions / class_FrameworkException.php

diff --git a/inc/classes/exceptions/class_FrameworkException.php b/inc/classes/exceptions/class_FrameworkException.php
index 3b7a3c9f48a163cf979738bbe4bb518326f0fef5..4f79738b4168e8a7d32404b5fa85910b5f947d25 100644 (file)
--- a/inc/classes/exceptions/class_FrameworkException.php
+++ b/inc/classes/exceptions/class_FrameworkException.php
@@ -114,7 +114,7 @@ abstract class FrameworkException extends ReflectionException {
                $dbgMsg = "<br />\nDebug backtrace begin:<br />\n";
                foreach ($dbgTrace as $dbgIndex => $dbgInfo) {
                        // No info by default
                $dbgMsg = "<br />\nDebug backtrace begin:<br />\n";
                foreach ($dbgTrace as $dbgIndex => $dbgInfo) {
                        // No info by default

-                       $info = "NULL";
+                       $info = 'NULL';

 
                        // Are there arguments?
                        if ((isset($dbgInfo['args'])) && (is_array($dbgInfo['args'])) && (isset($dbgInfo['args'][0]))) {
 
                        // Are there arguments?
                        if ((isset($dbgInfo['args'])) && (is_array($dbgInfo['args'])) && (isset($dbgInfo['args'][0]))) {


@@ -132,18 +132,18 @@ abstract class FrameworkException extends ReflectionException {
                        } // END - if
 
                        // Prepare argument infos
                        } // END - if
 
                        // Prepare argument infos

-                       $info = "<em id=\"debug_args_".$dbgIndex."\">{$info}</em>";
+                       $info = '<em id="debug_args_' . $dbgIndex . '">' . $info . '</em>';

 
                        // File detection
 
                        // File detection

-                       $file = "Unknown file";
+                       $file = 'Unknown file';

                        if (isset($dbgInfo['file'])) {
                                $file = basename($dbgInfo['file']);
                        } // END - if
 
                        // Line detection
                        if (isset($dbgInfo['file'])) {
                                $file = basename($dbgInfo['file']);
                        } // END - if
 
                        // Line detection

-                       $line = "Unknown line";
+                       $line = 'Unknown line';

                        if (isset($dbgInfo['line'])) {
                        if (isset($dbgInfo['line'])) {

-                               $line = "line {$dbgInfo['line']}";
+                               $line = 'line ' . $dbgInfo['line'];

                        } // END - if
 
                        // The message
                        } // END - if
 
                        // The message