diff options
| author | Benjamin Southall <applemansigloo@gmail.com> | 2017-04-19 07:09:02 +0900 |
|---|---|---|
| committer | Benjamin Southall <applemansigloo@gmail.com> | 2017-04-19 07:09:02 +0900 |
| commit | 06e5052a5da55ac8661991754cf1ca9ae907f8e7 (patch) | |
| tree | 4ca9e1a03adf467e5d82c72e66b2cef2d21966e2 /inc/display.php | |
| parent | 8a5850aa117f3664b0ce66865a02307d43a31873 (diff) | |
Add ['boards_alias'] in order to have Unicode icons in top bar that route to non unicode board names intelligently.
Diffstat (limited to 'inc/display.php')
| -rw-r--r-- | inc/display.php | 23 |
1 files changed, 17 insertions, 6 deletions
diff --git a/inc/display.php b/inc/display.php index d65cd1b8..05f91c2b 100644 --- a/inc/display.php +++ b/inc/display.php @@ -30,12 +30,23 @@ function doBoardListPart($list, $root, &$boards) { if (gettype($key) == 'string') { $body .= ' <a href="' . $board . '">' . $key . '</a> /'; } else { - $title = ''; - if (isset ($boards[$board])) { - $title = ' title="'.$boards[$board].'"'; - } - - $body .= ' <a href="' . $root . $board . '/' . $config['file_index'] . '"'.$title.'>' . $board . '</a> /'; + $title = ''; + if (array_key_exists($board,$config['boards_alias'])){ + $actual_board = $config['boards_alias'][$board]; + if (isset ($boards[$actual_board])) { + $title = ' title="'.$boards[$actual_board].'"'; + } + + $body .= ' <a href="' . $root . $actual_board . '/' . $config['file_index'] . '"'.$title.'>' . $board . '</a> /'; + } + else + { + if (isset ($boards[$board])) { + $title = ' title="'.$boards[$board].'"'; + } + + $body .= ' <a href="' . $root . $board . '/' . $config['file_index'] . '"'.$title.'>' . $board . '</a> /'; + } } } } |