updated software registry - phpMyAdmin 4.1.0-rc3, PostgreSQL 9.3.2