Jeroen De Dauw has uploaded a new change for review.
https://gerrit.wikimedia.org/r/71355
Change subject: Remove list of functions added in wgExtensionFunctions
......................................................................
Remove list of functions added in wgExtensionFunctions
Change-Id: I36ac6258015518af9ddf442afe58c8b401864a3b
---
M includes/specials/SpecialVersion.php
1 file changed, 0 insertions(+), 5 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/55/71355/1
diff --git a/includes/specials/SpecialVersion.php
b/includes/specials/SpecialVersion.php
index c257dd4..e3369d2 100644
--- a/includes/specials/SpecialVersion.php
+++ b/includes/specials/SpecialVersion.php
@@ -390,11 +390,6 @@
// We want the 'other' type to be last in the list.
$out .= $this->getExtensionCategory( 'other',
$extensionTypes['other'] );
- if ( count( $wgExtensionFunctions ) ) {
- $out .= $this->openExtType( $this->msg(
'version-extension-functions' )->text(), 'extension-functions' );
- $out .= '<tr><td colspan="4">' . $this->listToText(
$wgExtensionFunctions ) . "</td></tr>\n";
- }
-
$tags = $wgParser->getTags();
$cnt = count( $tags );
--
To view, visit https://gerrit.wikimedia.org/r/71355
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I36ac6258015518af9ddf442afe58c8b401864a3b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
