updated OpenLayers 2.12 to 2.13.1