From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- resources/src/mediawiki/mediawiki.debug.js | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'resources/src/mediawiki/mediawiki.debug.js') diff --git a/resources/src/mediawiki/mediawiki.debug.js b/resources/src/mediawiki/mediawiki.debug.js index 4935984f..bdff99f7 100644 --- a/resources/src/mediawiki/mediawiki.debug.js +++ b/resources/src/mediawiki/mediawiki.debug.js @@ -170,8 +170,6 @@ paneTriggerBitDiv( 'includes', 'PHP includes', this.data.includes.length ); - paneTriggerBitDiv( 'profile', 'Profile', this.data.profile.length ); - gitInfo = ''; if ( this.data.gitRevision !== false ) { gitInfo = '(' + this.data.gitRevision.slice( 0, 7 ) + ')'; @@ -211,8 +209,7 @@ querylist: this.buildQueryTable(), debuglog: this.buildDebugLogTable(), request: this.buildRequestPane(), - includes: this.buildIncludesPane(), - profile: this.buildProfilePane() + includes: this.buildIncludesPane() }; for ( id in panes ) { @@ -381,10 +378,6 @@ } return $table; - }, - - buildProfilePane: function () { - return mw.Debug.profile.init(); } }; -- cgit v1.2.3-54-g00ecf