From 7c343b997f37f17a0ed52a72ad63e49cf2b09639 Mon Sep 17 00:00:00 2001 From: "J.M" Date: Mon, 8 Apr 2013 12:50:42 +0200 Subject: [PATCH] Use HTML5 placeholder attribute for fast-filter inputbox --- libraries/navigation/NavigationTree.class.php | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/libraries/navigation/NavigationTree.class.php b/libraries/navigation/NavigationTree.class.php index 99be9eb382..bac5b677d4 100644 --- a/libraries/navigation/NavigationTree.class.php +++ b/libraries/navigation/NavigationTree.class.php @@ -1031,7 +1031,14 @@ class PMA_NavigationTree $retval .= "
"; $retval .= PMA_getHiddenFields($url_params); $retval .= ""; + // allow html5 placeholder attribute + $placeholder_key = 'value'; + if (PMA_USR_BROWSER_AGENT !== 'IE' + || PMA_USR_BROWSER_VER > 9 + ) { + $placeholder_key = 'placeholder'; + } + $retval .= " $placeholder_key='" . __('filter databases by name') . "' />"; $retval .= "X"; $retval .= "
"; $retval .= ""; @@ -1057,7 +1064,14 @@ class PMA_NavigationTree $retval .= "
"; $retval .= PMA_getHiddenFields($url_params); $retval .= ""; + // allow html5 placeholder attribute + $placeholder_key = 'value'; + if (PMA_USR_BROWSER_AGENT !== 'IE' + || PMA_USR_BROWSER_VER > 9 + ) { + $placeholder_key = 'placeholder'; + } + $retval .= " $placeholder_key='" . __('filter items by name') . "' />"; $retval .= "X"; $retval .= "
"; $retval .= "";