Improve naming of "val" field

2022-01-03 16:43:30 +01:00 · 2022-01-03 16:43:30 +01:00 · bbcf1762dd
commit bbcf1762dd
parent f5833e759e
12 changed files with 58 additions and 58 deletions
--- a/src/librustdoc/html/static/js/externs.js
+++ b/src/librustdoc/html/static/js/externs.js
@ -21,7 +21,7 @@ var QueryElement;
 /**
 * @typedef {{
 *     original: string,
- *     val: string,
+ *     userQuery: string,
 *     length: number,
 *     pos: number,
 *     typeFilter: number,