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){ | 
