]> git.joonet.de Git - adminer.git/commitdiff
Port hint in login form
authorJakub Vrana <jakub@vrana.cz>
Tue, 12 Jul 2011 13:30:09 +0000 (15:30 +0200)
committerJakub Vrana <jakub@vrana.cz>
Tue, 12 Jul 2011 13:30:09 +0000 (15:30 +0200)
adminer/include/adminer.inc.php

index 5fe3c9020aac0e6a91eeddd0e5f44e4a16556010..da6c4fe80801dcc7b7726f6712d11e784ea826e8 100644 (file)
@@ -56,7 +56,7 @@ class Adminer {
                ?>
 <table cellspacing="0">
 <tr><th><?php echo lang('System'); ?><td><?php echo html_select("driver", $drivers, DRIVER, "loginDriver(this);"); ?>
-<tr><th><?php echo lang('Server'); ?><td><input name="server" value="<?php echo h(SERVER); ?>">
+<tr><th><?php echo lang('Server'); ?><td><input name="server" value="<?php echo h(SERVER); ?>" title="hostname[:port]">
 <tr><th><?php echo lang('Username'); ?><td><input id="username" name="username" value="<?php echo h($_GET["username"]); ?>">
 <tr><th><?php echo lang('Password'); ?><td><input type="password" name="password">
 </table>