JanZerebecki has uploaded a new change for review.
https://gerrit.wikimedia.org/r/192603
Change subject: Remove redundant build settings
......................................................................
Remove redundant build settings
The common wikimedia jenkins infrastructure already contains these.
Change-Id: I7da91f82a0b900a639eefd3bb4e04c4d9d785d07
---
M build/jenkins/mw-apply-wb-settings.sh
1 file changed, 0 insertions(+), 10 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase
refs/changes/03/192603/1
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: newchange
Gerrit-Change-Id: I7da91f82a0b900a639eefd3bb4e04c4d9d785d07
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: JanZerebecki <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
