diff options
Diffstat (limited to 'frontends/php/include/copt.lib.php')
| -rw-r--r-- | frontends/php/include/copt.lib.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/frontends/php/include/copt.lib.php b/frontends/php/include/copt.lib.php index 5e68c377..8ab70aae 100644 --- a/frontends/php/include/copt.lib.php +++ b/frontends/php/include/copt.lib.php @@ -333,6 +333,7 @@ else { if(version_compare(phpversion(),'5.0','<')) { + eval(' class COpt { /* public static */ function profiling_start($type=NULL) {} @@ -341,10 +342,12 @@ else /* public static */ function showmemoryusage($descr=null) {} /* public static */ function compare_files_with_menu($menu=null) {} /* public static */ function counter_up($type=NULL) {} - } + }' + ); } else { + eval(' class COpt { static function profiling_start($type=NULL) {} @@ -353,7 +356,8 @@ else static function showmemoryusage($descr=null) {} static function compare_files_with_menu($menu=null) {} static function counter_up($type=NULL) {} - } + }' + ); } } |