diff --git a/js/db_search.js b/js/db_search.js
index 41ea5e66e..0a82a8f7b 100644
--- a/js/db_search.js
+++ b/js/db_search.js
@@ -51,6 +51,7 @@ $(document).ready(function() {
      * (see $GLOBALS['cfg']['AjaxEnable'])
      *
      * @uses    PMA_ajaxShowMessage()
+     * @see     $GLOBALS['cfg']['AjaxEnable']
      */
     $("#db_search_form.ajax").live('submit', function(event) {
         event.preventDefault();