update phpmyadmin to 4.1.12
update var style