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