Added the PMA_ajaxResponse function for Ajax requests that change the

database charset. Required for db_operations.php

libraries/db_common.inc.php

@@ -57,6 +57,15 @@ if (isset($submitcollation) && !empty($db_collation)) {
     $result           = PMA_DBI_query($sql_query);
     $message          = PMA_Message::success();
     unset($db_charset, $db_collation);
+
+    /**
+     * If we are in an Ajax request, let us stop the execution here. Necessary for
+     * db charset change action on db_operations.php.  If this causes a bug on
+     * other pages, we might have to move this to a different location.
+     */
+    if( $GLOBALS['is_ajax_request'] == true) {
+        PMA_ajaxResponse($message, $message->isSuccess());
+    };
 }
 
 $GLOBALS['js_include'][] = 'functions.js';