jenkins-bot has submitted this change and it was merged.
Change subject: Remove redundant build settings
......................................................................
Remove redundant build settings
The common wikimedia jenkins infrastructure already contains these.
Bug: T85799
Change-Id: I7da91f82a0b900a639eefd3bb4e04c4d9d785d07
---
M build/jenkins/mw-apply-wb-settings.sh
1 file changed, 0 insertions(+), 10 deletions(-)
Approvals:
Hoo man: Looks good to me, approved
jenkins-bot: Verified
diff --git a/build/jenkins/mw-apply-wb-settings.sh
b/build/jenkins/mw-apply-wb-settings.sh
index a7576d1..eb027c4 100755
--- a/build/jenkins/mw-apply-wb-settings.sh
+++ b/build/jenkins/mw-apply-wb-settings.sh
@@ -48,15 +48,6 @@
fi
}
-function apply_common_settings {
- echo 'error_reporting(E_ALL| E_STRICT);' >> LocalSettings.php
- echo 'ini_set("display_errors", 1);' >> LocalSettings.php
- echo '$wgShowExceptionDetails = true;' >> LocalSettings.php
- echo '$wgDevelopmentWarnings = true;' >> LocalSettings.php
- echo '$wgLanguageCode = "'$LANG'";' >> LocalSettings.php
- echo '$wgDebugLogFile = "mw-debug.log";' >> LocalSettings.php
-}
-
function apply_experimental_settings {
echo "define( 'WB_EXPERIMENTAL_FEATURES', $EXPERIMENTAL );" >>
LocalSettings.php
}
@@ -65,7 +56,6 @@
echo '<?php' >> LocalSettings.php
-apply_common_settings
apply_experimental_settings
if [ "$REPO" = "repo" ]
--
To view, visit https://gerrit.wikimedia.org/r/192603
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7da91f82a0b900a639eefd3bb4e04c4d9d785d07
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: JanZerebecki <[email protected]>
Gerrit-Reviewer: Adrian Lang <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
