updated software registry - phpMyAdmin 4.2.0-rc1