From d8984ca1aa3af06f8ca869c42efef4662073ba5a Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Tue, 20 Jan 2015 15:17:26 +0100
Subject: [PATCH] Add missing GeoJSONFeature#bbox property

See http://geojson.org/geojson-spec.html#bounding-boxes
---
 externs/geojson.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/externs/geojson.js b/externs/geojson.js
index 4d6584539a..db7e1b62e3 100644
--- a/externs/geojson.js
+++ b/externs/geojson.js
@@ -110,6 +110,12 @@ GeoJSONGeometryCollection.prototype.geometries;
 var GeoJSONFeature = function() {};
 
 
+/**
+ * @type {!Array.<number>|undefined}
+ */
+GeoJSONFeature.prototype.bbox;
+
+
 /**
  * @type {GeoJSONGeometry}
  */