diff options
| author |  ks129 <[email protected]> | 2020-10-07 16:10:17 +0300 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-10-07 16:10:17 +0300 |
| commit | 469bbb9da632e8dfe787b7a446bfacfd55b5c5ad (patch) | |
| tree | ea8abddca51e42ebdf6422b4b72baa307d658cfd /pydis_site/static/js/wiki/move.js | |
| parent | Update guides URL to match with latest changes in #393 (diff) | |
| parent | Merge pull request #405 from python-discord/remove_django_wiki (diff) | |
Merge branch 'dewikification' into resources-home
Diffstat (limited to 'pydis_site/static/js/wiki/move.js')
| -rw-r--r-- | pydis_site/static/js/wiki/move.js | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/pydis_site/static/js/wiki/move.js b/pydis_site/static/js/wiki/move.js deleted file mode 100644 index ddab06f5..00000000 --- a/pydis_site/static/js/wiki/move.js +++ /dev/null @@ -1,8 +0,0 @@ -$('#id_destination').after($('#dest_selector').remove()); -$('#id_destination').attr('type', 'hidden'); - -function select_path(path, title) { - $('#id_destination').val(path); - if (title == "(root)") title = ""; - $('#dest_selector .dest_selector_title').html(title ? title : " / "); -} |