From 769e0d67227504cd02d69ec8f16eac986b3f0009 Mon Sep 17 00:00:00 2001
From: pezcurrel <pezcurrel@tiscali.it>
Date: Sun, 19 Dec 2021 08:24:40 +0100
Subject: [PATCH] Removed useless div around pagesel

---
 web/site/instances.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/web/site/instances.php b/web/site/instances.php
index 7464a00..77eccf0 100644
--- a/web/site/instances.php
+++ b/web/site/instances.php
@@ -424,7 +424,6 @@ $il=$if+$ipp;
 $ptot=ceil($itot/$ipp);
 //echo('ptot: '.$ptot.'<br>'.N);
 if ($ptot>1) {
-	$out='<div>'.N;
 	$out.='<select id="pagesel" onchange="document.getElementById(\'p\').value=this.value; document.getElementById(\'searchf\').submit();">'.N;
 	for ($i=1; $i<=$ptot; $i++) {
 		($i!=$p) ? $selected='' : $selected=' selected';
@@ -434,7 +433,6 @@ if ($ptot>1) {
 		$out.='<option value="'.$i.'"'.$selected.'>'._('Page').' '.$i.' '._('of').' '.$ptot.' ('._('instances').': '.(($i-1)*$ipp+1).'-'.$li.'/'.$itot.')</option>'.N;
 	}
 	$out.='</select>'.N;
-	$out.='</div>'.N;
 	echo($out);
 } else {
 	echo('<script language="JavaScript">document.getElementById(\'bmenu\').style.display=\'none\';</script>'.N);