diff options
Diffstat (limited to 'inc/functions.php')
| -rwxr-xr-x | inc/functions.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/inc/functions.php b/inc/functions.php index 7a666ca2..ed00743c 100755 --- a/inc/functions.php +++ b/inc/functions.php @@ -2073,7 +2073,14 @@ function markup(&$body, $track_cites = false, $op = false) { if ($board['uri'] != $_board) { if (!openBoard($_board)) + { + if (in_array($_board,array_keys($config['boards_alias']))){ + $_board = $config['boards_alias'][$_board]; + openBoard($_board); + } + continue; // Unknown board + } } if (!empty($clauses)) { |