From e8c6f655b074c600382e0a0b3455258fe4a434a5 Mon Sep 17 00:00:00 2001 From: im-mi Date: Wed, 7 Sep 2016 08:41:33 -0400 Subject: [PATCH] Don't use javascript for pool search placeholder --- ext/pools/theme.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/pools/theme.php b/ext/pools/theme.php index 65194103..a792a05f 100644 --- a/ext/pools/theme.php +++ b/ext/pools/theme.php @@ -195,7 +195,7 @@ class PoolsTheme extends Themelet { global $user; $editor = "\n".make_form( make_link('pool/import') ).' - +