More generic

webinterface.py

@@ -8725,17 +8725,17 @@ def htmlSearch(cssCache: {}, translate: {},
             theme = ''
         else:
             theme = '_' + theme
-        bannerExtensions = ('png', 'jpg', 'jpeg', 'gif', 'avif', 'webp')
+        themeSearchImageFile, themeSearchBannerFilename = \
-        for ext in bannerExtensions:
+            getImageFile(baseDir, 'search_banner', baseDir + '/img',
-            searchBannerFile = 'search_banner.' + ext
+                         searchNickname, domain)
+        if os.path.isfile(themeSearchBannerFilename):
             searchBannerFilename = \
                 baseDir + '/accounts/' + \
-                searchNickname + '@' + domain + '/' + searchBannerFile
+                searchNickname + '@' + domain + '/' + themeSearchImageFile
-            themeSearchBannerFilename = \
+            copyfile(themeSearchBannerFilename,
-                baseDir + '/img/search_banner' + theme + '.' + ext
+                     searchBannerFilename)
-            if os.path.isfile(themeSearchBannerFilename):
+            searchBannerFile = themeSearchImageFile
-                copyfile(themeSearchBannerFilename, searchBannerFilename)
+
-                break
     if os.path.isfile(searchBannerFilename):
         usersPath = '/users/' + searchNickname
         followStr += \