Auto merge of #29917 - shssoichiro:doc-sidebar-order, r=alexcrichton

A race condition in Javascript was causing unpredictable ordering
of the sidebar boxes when loading documentation generated by
rustdoc, due to the script that adds the Crates box being executed
asynchronously. Disabling the asynchronous execution and deferring
this script should ensure that the Crates box always appears last
in the sidebox (this seemed to be the more common ordering prior
to this change).

Fixes #29698
This commit is contained in:
bors 2015-11-19 02:51:15 +00:00
commit 3e48b0e380

View File

@ -137,7 +137,7 @@ r##"<!DOCTYPE html>
<script src="{root_path}jquery.js"></script>
<script src="{root_path}main.js"></script>
{play_js}
<script async src="{root_path}search-index.js"></script>
<script defer src="{root_path}search-index.js"></script>
</body>
</html>"##,
content = *t,