]> git.joonet.de Git - adminer.git/commitdiff
Show keyboard shortcut (thanks to Ondrej Valka)
authorJakub Vrana <jakub@vrana.cz>
Wed, 4 Aug 2010 08:46:02 +0000 (10:46 +0200)
committerJakub Vrana <jakub@vrana.cz>
Wed, 4 Aug 2010 08:46:02 +0000 (10:46 +0200)
adminer/sql.inc.php

index e13a2bfd7b27af3f4a5070027dbb74d23f5173a3..ccc1341e1d9023a58adf5ad65ecd82bf814b1c26 100644 (file)
@@ -143,7 +143,7 @@ echo "<p>" . (ini_bool("file_uploads") ? lang('File upload') . ': <input type="f
 ?>
 <p>
 <input type="hidden" name="token" value="<?php echo $token; ?>">
-<input type="submit" value="<?php echo lang('Execute'); ?>">
+<input type="submit" value="<?php echo lang('Execute'); ?>" title="Ctrl+Enter">
 <?php
 echo checkbox("error_stops", 1, $_POST["error_stops"], lang('Stop on error'));