diff options
Diffstat (limited to 'quicksearch.js')
| -rw-r--r-- | quicksearch.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/quicksearch.js b/quicksearch.js index b72f96b7a..29ab6eb6b 100644 --- a/quicksearch.js +++ b/quicksearch.js @@ -334,8 +334,8 @@ function make_query_URL(url, input, searchLong) { // This function matches the given prefixes against the given statuses and // resolutions. Matched statuses are added to bug_status, matched - // resolutions are added to resolution. Returns true iff some matches - // were found for at least one of the given prefixes. + // resolutions are added to resolution. Returns true if and only if + // some matches were found for at least one of the given prefixes. function matchPrefixes(prefixes,statuses,resolutions) { var failedPrefixes = new Array(); var foundMatch = false; |