diff options
Diffstat (limited to 'includes/ProfilerStub.php')
-rw-r--r-- | includes/ProfilerStub.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/ProfilerStub.php b/includes/ProfilerStub.php index 4cf0aa44..c41845a4 100644 --- a/includes/ProfilerStub.php +++ b/includes/ProfilerStub.php @@ -23,4 +23,4 @@ function wfGetProfilingOutput( $s, $e ) {} function wfProfileClose() {} $wgProfiling = false; -?> + |