[Phpmyadmin-git] [phpmyadmin/planet] 155841: Better formatting