jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/396536 )
Change subject: Remove old commented out $wgCollectionFormats
......................................................................
Remove old commented out $wgCollectionFormats
Change-Id: If59c78fb9c64af7b9131e877efe52ac35037411f
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 8 deletions(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index c5e4695..1eac878 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1861,14 +1861,6 @@
$wgCollectionFormats = [
'rdf2latex' => 'PDF',
'rdf2text' => 'TXT',
- // The following formats used the old mwlib renderer
- // which was shut down Oct 3, 2014.
- // They may eventually be reinstated when new OCG backends
- // are written for them.
- // 'epub' => 'EPUB',
- // 'odf' => 'ODT',
- // 'zim' => 'openZIM',
- // 'rl' => 'mwlib PDF', // replaced by [[:mw:OCG]] 29 Sep 2014
];
$wgLicenseURL = "https://creativecommons.org/licenses/by-sa/3.0/";;
--
To view, visit https://gerrit.wikimedia.org/r/396536
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If59c78fb9c64af7b9131e877efe52ac35037411f
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: Zoranzoki21 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
