diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2023-04-20 09:14:58 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2023-04-20 09:14:58 +0200 |
| commit | 2208974c00d33cea59fc01c2c5b361765457822f (patch) | |
| tree | b9a588a941b3fb24fc9ae88027d1443fd44e6a5c /app/layout | |
| parent | 273b36c54c7bc2b9cf7e6e135bb75528c7c6a08c (diff) | |
PHPStan Level 7 for FreshRSS_UserQuery (#5319)
Follow-up of https://github.com/FreshRSS/FreshRSS/pull/5318
Diffstat (limited to 'app/layout')
| -rw-r--r-- | app/layout/nav_menu.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/layout/nav_menu.phtml b/app/layout/nav_menu.phtml index 8eb8d4a62..095b0a787 100644 --- a/app/layout/nav_menu.phtml +++ b/app/layout/nav_menu.phtml @@ -85,7 +85,7 @@ <?php foreach (FreshRSS_Context::$user_conf->queries as $raw_query): ?> <li class="item query"> <?php if (!empty($raw_query['url'])): ?> - <a href="<?= $raw_query['url'] ?>"><?= $raw_query['name'] ?></a> + <a href="<?= $raw_query['url'] ?>"><?= $raw_query['name'] ?? $raw_query['url'] ?></a> <?php else: ?> <?php $query = new FreshRSS_UserQuery($raw_query); ?> <a href="<?= $query->getUrl() ?>"><?= $query->getName() ?></a> |