mediawiki.ui: Update mw-ui-input padding/line-height to match OOUI

[lhc/web/wiklou.git] / includes / profiler / ProfilerStub.php

diff --git a/includes/profiler/ProfilerStub.php b/includes/profiler/ProfilerStub.php
index 5580f94..1017e44 100644 (file)
--- a/includes/profiler/ProfilerStub.php
+++ b/includes/profiler/ProfilerStub.php
@@ -28,7 +28,7 @@
  */
 class ProfilerStub extends Profiler {
        public function scopedProfileIn( $section ) {
-               return new ScopedCallback( null ); // no-op
+               return null; // no-op
        }
 
        public function getFunctionStats() {
@@ -40,7 +40,9 @@ class ProfilerStub extends Profiler {
        public function close() {
        }
 
-       public function getCurrentSection() {
-               return '';
+       public function logData() {
+       }
+
+       public function logDataPageOutputOnly() {
        }
 }