From 9037c0736d3d6eec98cdbd40a63a7bde92c7459f Mon Sep 17 00:00:00 2001
From: JoshWeepie <43789756+JoshWeepie@users.noreply.github.com>
Date: Mon, 25 Mar 2019 16:34:24 -0500
Subject: [PATCH] Fix missing pipe in ports page menu (#10025)

The ports page has a missing pipe in the menu between 'Update URL' and 'Search'.
---
 html/pages/ports.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/pages/ports.inc.php b/html/pages/ports.inc.php
index 82c067f43d..2b8dd1f790 100644
--- a/html/pages/ports.inc.php
+++ b/html/pages/ports.inc.php
@@ -61,7 +61,7 @@ foreach ($menu_options as $option => $text) {
 }
 
 $displayLists .= '<div style="float: right;">';
-$displayLists .= '<a href="csv.php/report=' . generate_url($vars, array('format' => '')) . '" title="Export as CSV" target="_blank" rel="noopener">Export CSV</a> | <a href="' . generate_url($vars) . '" title="Update the browser URL to reflect the search criteria.">Update URL</a>';
+$displayLists .= '<a href="csv.php/report=' . generate_url($vars, array('format' => '')) . '" title="Export as CSV" target="_blank" rel="noopener">Export CSV</a> | <a href="' . generate_url($vars) . '" title="Update the browser URL to reflect the search criteria.">Update URL</a> | ';
 
 if (isset($vars['searchbar']) && $vars['searchbar'] == "hide") {
     $displayLists .= '<a href="' . generate_url($vars, array('searchbar' => '')) . '">Search</a>';