Update docs search plugin (encode#6810)

Author: rpkilby

docs_theme/js/theme.js

@@ -9,11 +9,6 @@ var getSearchTerm = function() {
  }
 };
 
-var initilizeSearch = function() {
- require.config({ baseUrl: '/mkdocs/js' });
- require(['search']);
-};
-
 $(function() {
  var searchTerm = getSearchTerm(),
  $searchModal = $('#mkdocs_search_modal'),
@@ -30,6 +25,5 @@ $(function() {
 
  $searchModal.on('shown', function() {
  $searchQuery.focus();
- initilizeSearch();
  });
 });

docs_theme/main.html

@@ -138,14 +138,17 @@ <h3 id="myModalLabel">Documentation search</h3>
  <!-- Le javascript
  ================================================== -->
  <!-- Placed at the end of the document so the pages load faster -->
+ <script async src="https://fund.django-rest-framework.org/sidebar_include.js"></script>
  <script src="{{ base_url }}/js/jquery-1.8.1-min.js"></script>
  <script src="{{ base_url }}/js/prettify-1.0.js"></script>
  <script src="{{ base_url }}/js/bootstrap-2.1.1-min.js"></script>
- <script async src="https://fund.django-rest-framework.org/sidebar_include.js"></script>
- <script>var base_url = '{{ base_url }}';</script>
- <script src="{{ base_url }}/mkdocs/js/require.js"></script>
  <script src="{{ base_url }}/js/theme.js"></script>
 
+ <script>var base_url = '{{ base_url }}';</script>
+ {% for path in config.extra_javascript %}
+ <script src="{{ path|url }}" defer></script>
+ {% endfor %}
+
  <script>
  var shiftWindow = function() {
  scrollBy(0, -50)