updated phpmyadmin to 4.1.3

A minor update to phpmyadmin.