updated software registry - phpMyAdmin 4.0.0-rc4