diff options
Diffstat (limited to 'frontends/php/include/copt.lib.php')
| -rw-r--r-- | frontends/php/include/copt.lib.php | 29 |
1 files changed, 22 insertions, 7 deletions
diff --git a/frontends/php/include/copt.lib.php b/frontends/php/include/copt.lib.php index 00b8c7cd..5e68c377 100644 --- a/frontends/php/include/copt.lib.php +++ b/frontends/php/include/copt.lib.php @@ -331,14 +331,29 @@ else } else { - class COpt + if(version_compare(phpversion(),'5.0','<')) + { + class COpt + { + /* public static */ function profiling_start($type=NULL) {} + /* public static */ function profiling_stop($type=NULL) {} + /* public static */ function savesqlrequest($sql) {} + /* public static */ function showmemoryusage($descr=null) {} + /* public static */ function compare_files_with_menu($menu=null) {} + /* public static */ function counter_up($type=NULL) {} + } + } + else { - /* public static */ function profiling_start($type=NULL) {} - /* public static */ function profiling_stop($type=NULL) {} - /* public static */ function savesqlrequest($sql) {} - /* public static */ function showmemoryusage($descr=null) {} - /* public static */ function compare_files_with_menu($menu=null) {} - /* public static */ function counter_up($type=NULL) {} + class COpt + { + static function profiling_start($type=NULL) {} + static function profiling_stop($type=NULL) {} + static function savesqlrequest($sql) {} + static function showmemoryusage($descr=null) {} + static function compare_files_with_menu($menu=null) {} + static function counter_up($type=NULL) {} + } } } |
