jenkins-bot has submitted this change and it was merged.
Change subject: Replace the 'download as PDF' link in the sidebar.
......................................................................
Replace the 'download as PDF' link in the sidebar.
This reverts commit b1c0ca0484cd92b6749ee095ba03bf16d6aa305a.
Change-Id: Iaa81d27f36ba38f5b26198b477405038cb953568
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
GWicke: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 852c979..cbc9664 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1611,7 +1611,7 @@
$wgEnableSidebarCache = false;
$wgCollectionFormats = array(
- //'rdf2latex' => 'PDF', // temporarily disabled 26 Nov 2014
+ 'rdf2latex' => 'PDF',
// The following formats used the old mwlib renderer
// which was shut down Oct 3, 2014.
// They may eventually be reinstated when new OCG backends
--
To view, visit https://gerrit.wikimedia.org/r/176154
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaa81d27f36ba38f5b26198b477405038cb953568
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Cscott <[email protected]>
Gerrit-Reviewer: GWicke <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits