diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2009-06-10 13:00:47 +0200 |
| commit | 72e90545454c0e014318fa3c81658e035aac58c1 (patch) | |
| tree | 9212e3f46868989c4d57ae9a5c8a1a80e4dc0702 /includes/ProfilerSimple.php | |
| parent | 565a0ccc371ec1a2a0e9b39487cbac18e6f60e25 (diff) | |
applying patch to version 1.15.0
Diffstat (limited to 'includes/ProfilerSimple.php')
| -rw-r--r-- | includes/ProfilerSimple.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/includes/ProfilerSimple.php b/includes/ProfilerSimple.php index 349a7cac..5989061d 100644 --- a/includes/ProfilerSimple.php +++ b/includes/ProfilerSimple.php @@ -4,7 +4,9 @@ * @ingroup Profiler */ -require_once(dirname(__FILE__).'/Profiler.php'); +if ( !class_exists( 'Profiler' ) ) { + require_once(dirname(__FILE__).'/Profiler.php'); +} /** * Simple profiler base class. |