diff options
| author |  Joe Banks <[email protected]> | 2021-05-14 17:46:00 +0100 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2021-05-14 17:46:00 +0100 |
| commit | 2836913d98e762d819d6d50ec668112077e8a3a9 (patch) | |
| tree | ccb02577b40ad4c92b56c8c6d3ae1c53e90afe26 /pydis_site/static/js/wiki/move.js | |
| parent | Merge pull request #486 from python-discord/bast0006-patch-error-page-margins (diff) | |
| parent | Remove stale dependency. (diff) | |
Merge pull request #487 from python-discord/dewikification
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 : " / "); -} |