phpMyAdmin: version bumped to 3.5.6.