HTML: Fix search unnecessarily requiring source files

CHANGES

@@ -1,3 +1,24 @@
+Release 5.0.0 (in development)
+==============================
+
+Dependencies
+------------
+
+Incompatible changes
+--------------------
+
+Deprecated
+----------
+
+Features added
+--------------
+
+Bugs fixed
+----------
+
+Testing
+--------
+
 Release 4.1.0 (in development)
 ==============================
 

sphinx/__init__.py

@@ -27,8 +27,8 @@
 warnings.filterwarnings('ignore', "'U' mode is deprecated",
                         DeprecationWarning, module='docutils.io')
 
-__version__ = '4.1.0'
-__released__ = '4.1.0'  # used when Sphinx builds its own docs
+__version__ = '5.0.0+'
+__released__ = '5.0.0'  # used when Sphinx builds its own docs
 
 #: Version info for better programmatic use.
 #:
@@ -38,7 +38,7 @@
 #:
 #: .. versionadded:: 1.2
 #:    Before version 1.2, check the string ``sphinx.__version__``.
-version_info = (4, 1, 0, 'final', 0)
+version_info = (5, 0, 0, 'final', 0)
 
 package_dir = path.abspath(path.dirname(__file__))
 

sphinx/themes/basic/static/searchtools.js

@@ -276,7 +276,7 @@ var Search = {
           setTimeout(function() {
             displayNextItem();
           }, 5);
-        } else if (DOCUMENTATION_OPTIONS.HAS_SOURCE) {
+        } else {
           $.ajax({url: requestUrl,
                   dataType: "text",
                   complete: function(jqxhr, textstatus) {
@@ -289,12 +289,6 @@ var Search = {
                       displayNextItem();
                     }, 5);
                   }});
-        } else {
-          // no source available, just display title
-          Search.output.append(listItem);
-          setTimeout(function() {
-            displayNextItem();
-          }, 5);
         }
       }
       // search finished, update title and status message