Merge pull request #85 from readthedocs/allow-to-disable-search

Allow to disable server side search

Author: ericholscher

readthedocs_ext/_static/readthedocs-data.js_t

@@ -15,7 +15,9 @@ var READTHEDOCS_DATA = {
     {% endif %}
     commit: {{ commit|default('')|tojson }},
     ad_free: {% if ad_free %}true{% else %}false{% endif %},
-
+    features: {
+      docsearch_disabled: {% if docsearch_disabled %}true{% else %}false{% endif %}
+    },
     global_analytics_code: {% if global_analytics_code %}{{ global_analytics_code|default('')|tojson }}{% else %}null{% endif %},
     user_analytics_code: {% if user_analytics_code %}{{ user_analytics_code|default('')|tojson }}{% else %}null{% endif %}
 };