r4276 formatPortLink: moved from interfaces.php to functions.php