From a2da09941bd5c883146b2fe3bdeb8d4284de6b05 Mon Sep 17 00:00:00 2001
From: Mike Rostermund <mike@kollegienet.dk>
Date: Fri, 27 Nov 2015 07:27:54 -0800
Subject: [PATCH] Let device location be clickable in device header, to allow
 fast search for devices with same location.

---
 html/includes/device-header.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/includes/device-header.inc.php b/html/includes/device-header.inc.php
index 8c6775930c..17ba8b602b 100644
--- a/html/includes/device-header.inc.php
+++ b/html/includes/device-header.inc.php
@@ -26,7 +26,7 @@ echo '
             <tr bgcolor="'.$device_colour.'" class="alert '.$class.'">
              <td width="40" align=center valign=middle style="padding: 21px;">'.$image.'</td>
              <td valign=middle style="padding: 0 15px;"><span style="font-size: 20px;">'.generate_device_link($device).'</span>
-             <br />'.$device['location'].'</td>
+             <br />'.generate_link($device['location'], array('page' => 'devices', 'location' => $device['location'])).'</td>
              <td>';
 
 if (isset($config['os'][$device['os']]['over'])) {