| @@ 426-433 (lines=8) @@ | ||
| 423 | } |
|
| 424 | ||
| 425 | // case 3: exact match on alternate label |
|
| 426 | if (sizeof($hits) == 0) { // not yet found |
|
| 427 | foreach ($results as $res) { |
|
| 428 | if (isset($res['altLabel']) && $res['altLabel'] == $label) { |
|
| 429 | $hits[] = $res; |
|
| 430 | } |
|
| 431 | } |
|
| 432 | ||
| 433 | } |
|
| 434 | ||
| 435 | // case 4: case-insensitive match on alternate label |
|
| 436 | if (sizeof($hits) == 0) { // not yet found |
|
| @@ 436-443 (lines=8) @@ | ||
| 433 | } |
|
| 434 | ||
| 435 | // case 4: case-insensitive match on alternate label |
|
| 436 | if (sizeof($hits) == 0) { // not yet found |
|
| 437 | foreach ($results as $res) { |
|
| 438 | if (isset($res['altLabel']) && strtolower($res['altLabel']) == strtolower($label)) { |
|
| 439 | $hits[] = $res; |
|
| 440 | } |
|
| 441 | } |
|
| 442 | ||
| 443 | } |
|
| 444 | ||
| 445 | if (sizeof($hits) == 0) { |
|
| 446 | // no matches found |
|