Allow to disable server side search

Author: stsewd

readthedocs_ext/_static/readthedocs-data.js_t

@@ -12,7 +12,9 @@ var READTHEDOCS_DATA = {
     api_host: {{ api_host|default('')|tojson }},
     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 %}
 };