phpMyAdmin: version bumped to 4.1.8.