diff options
| author | Robin Neatherway <robin.neatherway@gmail.com> | 2017-06-22 18:46:30 +0100 |
|---|---|---|
| committer | Robin Neatherway <robin.neatherway@gmail.com> | 2017-07-19 09:59:24 +0100 |
| commit | 4fb02e6900675935e8148850759e9436bfef9663 (patch) | |
| tree | f91e46607c794e0b016d08a1ede0e7eae15ef030 /sphinx/themes/basic/static/websupport.js | |
| parent | 947e01436bc669a9f6f0706bcec1c6a99db73f0d (diff) | |
| download | sphinx-git-4fb02e6900675935e8148850759e9436bfef9663.tar.gz | |
Declare loop variables to make them local
Diffstat (limited to 'sphinx/themes/basic/static/websupport.js')
| -rw-r--r-- | sphinx/themes/basic/static/websupport.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/themes/basic/static/websupport.js b/sphinx/themes/basic/static/websupport.js index 53f6a4525..a95bc3a66 100644 --- a/sphinx/themes/basic/static/websupport.js +++ b/sphinx/themes/basic/static/websupport.js @@ -301,7 +301,7 @@ li.hide(); // Determine where in the parents children list to insert this comment. - for(i=0; i < siblings.length; i++) { + for(var i=0; i < siblings.length; i++) { if (comp(comment, siblings[i]) <= 0) { $('#cd' + siblings[i].id) .parent() |