PhpMyAdmin addon: Updated to version 3.5.7