Fix JS error in source code pages

GuillaumeGomez · GuillaumeGomez · commit f82b3a16d568 · 2022-05-10T16:40:14.000+02:00
diff --git a/src/librustdoc/html/static/js/source-script.js b/src/librustdoc/html/static/js/source-script.js
@@ -1,5 +1,5 @@
 // From rust:
-/* global search, sourcesIndex */
+/* global sourcesIndex */
 
 // Local js definitions:
 /* global addClass, getCurrentValue, hasClass, onEachLazy, removeClass, browserSupportsHistoryApi */
@@ -69,7 +69,6 @@ function createDirEntry(elem, parent, fullPath, currentFile, hasFoundFile) {
             files.appendChild(file);
         }
     }
-    search.fullPath = fullPath;
     children.appendChild(files);
     parent.appendChild(name);
     parent.appendChild(children);

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`// From rust:`
`2`		`-/* global search, sourcesIndex */`
	`2`	`+/* global sourcesIndex */`
`3`	`3`
`4`	`4`	`// Local js definitions:`
`5`	`5`	`/* global addClass, getCurrentValue, hasClass, onEachLazy, removeClass, browserSupportsHistoryApi */`
`@@ -69,7 +69,6 @@ function createDirEntry(elem, parent, fullPath, currentFile, hasFoundFile) {`
`69`	`69`	`files.appendChild(file);`
`70`	`70`	`}`
`71`	`71`	`}`
`72`		`- search.fullPath = fullPath;`
`73`	`72`	`children.appendChild(files);`
`74`	`73`	`parent.appendChild(name);`
`75`	`74`	`parent.appendChild(children);`