mirrors/searxng
1
0
Fork 0
mirror of https://github.com/searxng/searxng.git synced 2024-06-26 17:10:33 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1194 from mrpaulblack/fix-leaflet-src

Browse source 
[fix] loading of external resources in JS client toolkit
This commit is contained in:
Léon Tiekötter 2022-05-10 23:24:24 +02:00 committed by GitHub
parent b47e44a008 58d4086ce1
commit 035a4eaa09
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
searx/static/themes/simple/js/searxng.min.js vendored
View file

File diff suppressed because one or more lines are too long

2
searx/static/themes/simple/js/searxng.min.js.map
View file

File diff suppressed because one or more lines are too long

4
searx/static/themes/simple/src/js/main/00_toolkit.js
View file

@ -101,7 +101,7 @@ window.searxng = (function (w, d) {
};
searxng.loadStyle = function (src) {
var path = searxng.settings.theme_static_path + src,
var path = searxng.settings.theme_static_path + "/" + src,
id = "style_" + src.replace('.', '_'),
s = d.getElementById(id);
if (s === null) {
@ -115,7 +115,7 @@ window.searxng = (function (w, d) {
};
searxng.loadScript = function (src, callback) {
var path = searxng.settings.theme_static_path + src,
var path = searxng.settings.theme_static_path + "/" + src,
id = "script_" + src.replace('.', '_'),
s = d.getElementById(id);
if (s === null) {