From f97ffae403529907484c7ac4f944886615b3a324 Mon Sep 17 00:00:00 2001
From: crschmidt <crschmidt@crschmidt.net>
Date: Fri, 6 Oct 2006 15:29:47 +0000
Subject: [PATCH] OpenLayers.js changes didn't suit Safari very well.

git-svn-id: http://svn.openlayers.org/trunk/openlayers@1645 dc9f47b5-9b13-0410-9fdd-eb0c1a62fdaf
---
 lib/OpenLayers.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/OpenLayers.js b/lib/OpenLayers.js
index fc3ff3d753..d3e6c79c6c 100644
--- a/lib/OpenLayers.js
+++ b/lib/OpenLayers.js
@@ -50,7 +50,6 @@ if (typeof(_OPENLAYERS_SFL_) == "undefined") {
     var jsfiles=new Array(
         "OpenLayers/BaseTypes.js",
         "OpenLayers/Util.js",
-        "OpenLayers/Prototype.js", 
         "Rico/Corner.js",
         "Rico/Color.js",
         "OpenLayers/Ajax.js",
@@ -103,7 +102,7 @@ if (typeof(_OPENLAYERS_SFL_) == "undefined") {
     var host = OpenLayers._getScriptLocation() + "lib/";
 
     for (var i = 0; i < jsfiles.length; i++) {
-        if (/MSIE/.test(navigator.userAgent)) {
+        if (/MSIE/.test(navigator.userAgent) || /Safari/.test(navigator.userAgent)) {
             var currentScriptTag = "<script src='" + host + jsfiles[i] + "'></script>"; 
             allScriptTags += currentScriptTag;
         } else {