Index: Tools/GardeningServer/scripts/ui.js |
diff --git a/Tools/GardeningServer/scripts/ui.js b/Tools/GardeningServer/scripts/ui.js |
index ec7328c499ad52efd19b796f3ed58c3f05085413..019b54b88337ef1975f626dd7804c37e577f8ef2 100644 |
--- a/Tools/GardeningServer/scripts/ui.js |
+++ b/Tools/GardeningServer/scripts/ui.js |
@@ -38,7 +38,7 @@ ui.kUseNewWindowForLinksSetting = 'gardenomatic.use-new-window-for-links'; |
ui.displayNameForBuilder = function(builderName) |
{ |
- return builderName.replace(/Webkit /, ''); |
+ return builderName.replace(/Webkit /i, ''); |
} |
ui.urlForTest = function(testName) |