diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /includes/profiler/ProfilerStub.php | |
parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) |
Update to MediaWiki 1.22.0
Diffstat (limited to 'includes/profiler/ProfilerStub.php')
-rw-r--r-- | includes/profiler/ProfilerStub.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/profiler/ProfilerStub.php b/includes/profiler/ProfilerStub.php index c0eb0fb4..3697f352 100644 --- a/includes/profiler/ProfilerStub.php +++ b/includes/profiler/ProfilerStub.php @@ -39,4 +39,6 @@ class ProfilerStub extends Profiler { public function close() {} public function logData() {} public function getCurrentSection() { return ''; } + public function transactionWritingIn( $server, $db ) {} + public function transactionWritingOut( $server, $db ) {} } |