phpMyAdmin: update to 4.1.2 (bugfix)