diff --git a/libraries/dbi/drizzle-wrappers.lib.php b/libraries/dbi/drizzle-wrappers.lib.php
index 3f58043849..d4d2193e16 100644
--- a/libraries/dbi/drizzle-wrappers.lib.php
+++ b/libraries/dbi/drizzle-wrappers.lib.php
@@ -15,13 +15,19 @@ if (! defined('PHPMYADMIN')) {
     exit;
 }
 
-// TODO: drizzle module segfaults while freeing resources, often.
-//       This allows at least for some development
-function _drizzle_shutdown_flush()
+/**
+ * Workaround for crashing module
+ *
+ * @return void
+ *
+ * @todo drizzle module segfaults while freeing resources, often.
+ *       This allows at least for some development
+ */
+function PMA_drizzleShutdownFlush()
 {
     flush();
 }
-register_shutdown_function('_drizzle_shutdown_flush');
+register_shutdown_function('PMA_drizzleShutdownFlush');
 
 function _dlog_argstr($args)
 {