Add GeoJSONFeature#id to externs file

2013-11-11 19:13:32 +01:00
parent 30503f5665
commit 8edefc3fee
1 changed files with 6 additions and 0 deletions
--- a/externs/geojson.js
+++ b/externs/geojson.js
@@ -95,6 +95,12 @@ var GeoJSONFeature = function() {};
 GeoJSONFeature.prototype.geometry;


+/**
+ * @type {number|string|undefined}
+ */
+GeoJSONFeature.prototype.id;
+
+
 /**
 * @type {Object.<string, *>}
 */