From 6d90a9987d5b3106c6f0b2c3dfca061c406e358c Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Mon, 11 Mar 2013 12:37:50 +0100
Subject: [PATCH] Add (incomplete) bootstrap.js externs

---
 build.py             |  1 +
 externs/bootstrap.js | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 externs/bootstrap.js

diff --git a/build.py b/build.py
index 89c36ea3be..a171337d27 100755
--- a/build.py
+++ b/build.py
@@ -211,6 +211,7 @@ def examples_star_json(name, match):
                 '//json.js',
                 '//jquery-1.7.js',
                 'externs/bingmaps.js',
+                'externs/bootstrap.js',
                 'externs/geojson.js',
                 'externs/proj4js.js',
                 'externs/tilejson.js',
diff --git a/externs/bootstrap.js b/externs/bootstrap.js
new file mode 100644
index 0000000000..401e609fcd
--- /dev/null
+++ b/externs/bootstrap.js
@@ -0,0 +1,21 @@
+/**
+ * @fileoverview Externs for bootstrap.js
+ *
+ * @see http://twitter.github.com/bootstrap/javascript.html
+ * @externs
+ */
+
+
+
+/**
+ * @param {String|Object.<string,*>=} option
+ * @return {!jQuery}
+ */
+jQuery.prototype.popover = function(option) {};
+
+
+/**
+ * @param {String|Object.<string,*>=} option
+ * @return {!jQuery}
+ */
+jQuery.prototype.tooltip = function(option) {};