diff options
Diffstat (limited to 'chimere/static/base.js')
| -rw-r--r-- | chimere/static/base.js | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/chimere/static/base.js b/chimere/static/base.js index 70b8742..1eba699 100644 --- a/chimere/static/base.js +++ b/chimere/static/base.js @@ -20,6 +20,18 @@ See the file COPYING for details. var default_area; var area_name; +/* indexOf definition for old IE versions */ +if(!Array.indexOf){ + Array.prototype.indexOf = function(obj){ + for(var i=0; i<this.length; i++){ + if(this[i]==obj){ + return i; + } + } + return -1; + } +} + /* show a block panel */ function show(id){ document.getElementById(id).style.display = 'block'; @@ -45,7 +57,7 @@ function getExtent() { var map_extent; var extent_key = 'MAP_EXTENT'; if (area_name){ extent_key = extent_key + '_' + area_name; } - for (i in cookies){ + for (var i=0; i < cookies.length; i++){ var items = cookies[i].split('='); key = items[0].split(' ').join(''); if (key == extent_key){ |
