Update: phpMyAdmin to version 4.1.12