[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Disable firejail profile for wgScoreAbc2Ly

[jenkins-bot (Code Review)]

jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/374426 )

Change subject: Disable firejail profile for wgScoreAbc2Ly
..


Disable firejail profile for wgScoreAbc2Ly

Bug: T172582
Change-Id: Id43f46b5e259decc77a3e9a226aa7c6c16254100
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Reedy: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index fa7af44..cd6759b 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1079,7 +1079,7 @@
wfLoadExtension( 'Score' );
$wgScoreSafeMode = true;
$wgScoreLilypond = '/usr/local/bin/mediawiki-firejail-lilypond';
-   $wgScoreAbc2Ly = '/usr/local/bin/mediawiki-firejail-abc2ly';
+   // $wgScoreAbc2Ly = '/usr/local/bin/mediawiki-firejail-abc2ly';
$wgScoreTimidity = '/usr/local/bin/mediawiki-firejail-timidity';
$wgScoreFileBackend = $wmgScoreFileBackend;
$wgScorePath = $wmgScorePath;

-- 
To view, visit https://gerrit.wikimedia.org/r/374426
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id43f46b5e259decc77a3e9a226aa7c6c16254100
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy 
Gerrit-Reviewer: Reedy 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Disable firejail profile for wgScoreAbc2Ly

[Reedy (Code Review)]

Reedy has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/374426 )

Change subject: Disable firejail profile for wgScoreAbc2Ly
..

Disable firejail profile for wgScoreAbc2Ly

Bug: T172582
Change-Id: Id43f46b5e259decc77a3e9a226aa7c6c16254100
---
M wmf-config/CommonSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/26/374426/1

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index fa7af44..cd6759b 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1079,7 +1079,7 @@
wfLoadExtension( 'Score' );
$wgScoreSafeMode = true;
$wgScoreLilypond = '/usr/local/bin/mediawiki-firejail-lilypond';
-   $wgScoreAbc2Ly = '/usr/local/bin/mediawiki-firejail-abc2ly';
+   // $wgScoreAbc2Ly = '/usr/local/bin/mediawiki-firejail-abc2ly';
$wgScoreTimidity = '/usr/local/bin/mediawiki-firejail-timidity';
$wgScoreFileBackend = $wmgScoreFileBackend;
$wgScorePath = $wmgScorePath;

-- 
To view, visit https://gerrit.wikimedia.org/r/374426
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id43f46b5e259decc77a3e9a226aa7c6c16254100
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits