phpMyAdmin: version bumped to 3.5.8.1.