jenkins-bot has submitted this change and it was merged. (
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(-)
Approvals:
Addshore: Looks good to me, approved
WMDE-Fisch: Looks good to me, but someone else must approve
jenkins-bot: Verified
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: merged
Gerrit-Change-Id: I96c8f4c63d218dc15d8665399d9f4afc4abf31dd
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Andrew-WMDE <andrew.kos...@wikimedia.de>
Gerrit-Reviewer: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de>
Gerrit-Reviewer: WMDE-Fisch <christoph.jau...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
