phpMyAdmin-3.5.7-1: new upstream release