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 9a7ec8c..1017e44 100644 (file)
--- a/includes/profiler/ProfilerStub.php
+++ b/includes/profiler/ProfilerStub.php
@@ -27,16 +27,8 @@
  * @ingroup Profiler
  */
 class ProfilerStub extends Profiler {
-       public function profileIn( $fn ) {
-       }
-
-       public function profileOut( $fn ) {
-       }
-
        public function scopedProfileIn( $section ) {
-               return new ScopedCallback( function () {
-                       // no-op
-               } );
+               return null; // no-op
        }
 
        public function getFunctionStats() {
@@ -48,7 +40,9 @@ class ProfilerStub extends Profiler {
        public function close() {
        }
 
-       public function getCurrentSection() {
-               return '';
+       public function logData() {
+       }
+
+       public function logDataPageOutputOnly() {
        }
 }