updated software registry - phpMyAdmin 4.2.0-alpha1