Andrew-WMDE has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/341992 )
Change subject: Don't show rdf2latex table hint with ElectronPdfService enabled
......................................................................
Don't show rdf2latex table hint with ElectronPdfService enabled
Bug: T157432
Change-Id: I96c8f4c63d218dc15d8665399d9f4afc4abf31dd
---
M wmf-config/CommonSettings.php
1 file changed, 3 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/92/341992/1
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 445c65d..20c16e9 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1786,7 +1786,9 @@
$wgLicenseURL = "https://creativecommons.org/licenses/by-sa/3.0/";;
- $wgCollectionShowRenderNotes[] =
'coll-rendering_finished_note_article_rdf2latex';
+ if ( !$wmgUseElectronPdfService ) {
+ $wgCollectionShowRenderNotes[] =
'coll-rendering_finished_note_article_rdf2latex';
+ }
$wgCollectionPortletForLoggedInUsersOnly =
$wmgCollectionPortletForLoggedInUsersOnly;
$wgCollectionArticleNamespaces = $wmgCollectionArticleNamespaces;
--
To view, visit https://gerrit.wikimedia.org/r/341992
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I96c8f4c63d218dc15d8665399d9f4afc4abf31dd
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Andrew-WMDE <andrew.kos...@wikimedia.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
