diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /includes/profiler/ProfilerStub.php | |
parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) |
Update to MediaWiki 1.24.1
Diffstat (limited to 'includes/profiler/ProfilerStub.php')
-rw-r--r-- | includes/profiler/ProfilerStub.php | 38 |
1 files changed, 30 insertions, 8 deletions
diff --git a/includes/profiler/ProfilerStub.php b/includes/profiler/ProfilerStub.php index 3697f352..1d3b65d2 100644 --- a/includes/profiler/ProfilerStub.php +++ b/includes/profiler/ProfilerStub.php @@ -30,15 +30,37 @@ class ProfilerStub extends Profiler { public function isStub() { return true; } + public function isPersistent() { return false; } - public function profileIn( $fn ) {} - public function profileOut( $fn ) {} - public function getOutput() {} - public function close() {} - public function logData() {} - public function getCurrentSection() { return ''; } - public function transactionWritingIn( $server, $db ) {} - public function transactionWritingOut( $server, $db ) {} + + public function profileIn( $fn ) { + } + + public function profileOut( $fn ) { + } + + public function getOutput() { + } + + public function close() { + } + + public function logData() { + } + + public function getCurrentSection() { + return ''; + } + + public function transactionWritingIn( $server, $db, $id = '' ) { + } + + public function transactionWritingOut( $server, $db, $id = '' ) { + } + + public function getRawData() { + return array(); + } } |