diff options
Diffstat (limited to 'sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/test/demo.html')
| -rw-r--r-- | sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/test/demo.html | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/test/demo.html b/sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/test/demo.html deleted file mode 100644 index 333a92047..000000000 --- a/sdnr/wt/devicemanager/provider/src/main/resources/elasticsearch/plugins/head/test/demo.html +++ /dev/null @@ -1,34 +0,0 @@ -<!DOCTYPE html> - -<html> - <head> - <meta charset="UTF-8"> - <title>Elasticsearch UI Demo</title> - <link rel="stylesheet" href="../_site/base/reset.css"> - <link rel="stylesheet" href="../_site/app.css"> - <script src="../_site/i18n.js" data-baseDir="../_site/lang" data-langs="en,fr"></script> - <script src="../_site/vendor.js"></script> - <script src="../_site/app.js"></script> - <script> - $( function() { - var args = location.search.substring(1).split("&").reduce(function(r, p) { - r[decodeURIComponent(p.split("=")[0])] = decodeURIComponent(p.split("=")[1]); return r; - }, {}); - var script0 = document.getElementsByTagName('script')[0]; - var s = document.createElement("script"); - s.src = '../src/' + args['demo']; - s.onload = function() { - $("body").append( - { tag: "DIV", children: [ - window.builder() - ] } - ); - } - script0.parentNode.insertBefore(s, script0); - document.title = args['demo'].match(/([^\/]+)(\.js)$/)[1] - } ); - </script> - <link rel="icon" href="../_site/app/favicon.png" type="image/png"> - </head> - <body></body> -</html> |