diff options
| author |  Johannes Christ <[email protected]> | 2018-08-22 19:59:51 +0200 |
|---|---|---|
| committer | Johannes Christ <[email protected]> | 2018-08-22 19:59:51 +0200 |
| commit | 8ef1cd50a0bf34adc3033706a2eeadd4339daa67 (patch) | |
| tree | 8885bc6035dbf664cff573fba56822cec6f3128d /js/src/wiki.js | |
| parent | Use `postgres` service on CI. (diff) | |
Remove unused files.
Diffstat (limited to 'js/src/wiki.js')
| -rw-r--r-- | js/src/wiki.js | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/js/src/wiki.js b/js/src/wiki.js deleted file mode 100644 index f4bc18e8..00000000 --- a/js/src/wiki.js +++ /dev/null @@ -1,17 +0,0 @@ -"use strict"; - -/* exported wiki_sidebar */ - -function wiki_sidebar(){ - const visible_class = "uk-visible@s"; - const sidebar = document.getElementById("wiki-sidebar"); - const display_button = document.getElementById("wiki-sidebar-button"); - - display_button.onclick = function() { - if (sidebar.classList.contains(visible_class)) { - sidebar.classList.remove(visible_class); - } else { - sidebar.classList.add(visible_class); - } - }; -} |