Reedy has uploaded a new change for review.
https://gerrit.wikimedia.org/r/224799
Change subject: Remove old comments about GeSHi rl startup modules
......................................................................
Remove old comments about GeSHi rl startup modules
Change-Id: I28a5d1ddbb05d1c8cda580be39575a4f215feb7b
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 3 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/99/224799/1
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index ba5224e..8fb13b7 100755
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -551,9 +551,7 @@
include( $IP .
'/extensions/SyntaxHighlight_GeSHi/SyntaxHighlight_GeSHi.php' );
// GeSHi supports 215 languages. The top 20 languages account for more
than
- // 80% of usage. The bottom 75 are not used at all. Since each supported
- // language gets an entry in ResourceLoader's start-up module, it makes
- // sense to be economical and drop support for those languages. (T93025)
+ // 80% of usage. The bottom 75 are not used at all. (T93025)
$wgGeSHiSupportedLanguages = array(
"c", "cpp", "bash", "html4strict", "text", "java", "latex",
"javascript", "python", "xml", "csharp", "php", "css", "asm",
"sql",
--
To view, visit https://gerrit.wikimedia.org/r/224799
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I28a5d1ddbb05d1c8cda580be39575a4f215feb7b
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
