From 0b2ba1a8936aa408681e015f89ef79a70db2a1c8 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Thu, 13 May 2021 16:46:18 +0200
Subject: [PATCH] fix layout of filter field

---
 views/bootstrap/class.ExtensionMgr.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/views/bootstrap/class.ExtensionMgr.php b/views/bootstrap/class.ExtensionMgr.php
index 9dc1921a8..4ec1e035a 100644
--- a/views/bootstrap/class.ExtensionMgr.php
+++ b/views/bootstrap/class.ExtensionMgr.php
@@ -276,7 +276,7 @@ class SeedDMS_View_ExtensionMgr extends SeedDMS_Theme_Style {
 		</ul>
 		<div class="tab-content">
 			<div class="tab-pane <?php if(!$currenttab || $currenttab == 'installed') echo 'active'; ?>" id="installed" role="tabpanel">
-			<input id="extensionfilter" type="text">
+			<input id="extensionfilter" class="form-control" type="text" placeholder="<?= getMLText('type_to_filter'); ?>">
 	<div class="ajax" data-view="ExtensionMgr" data-action="installedList"></div>
 <?php
 //		$this->installedList();