[Phpmyadmin-git] [phpmyadmin/themes] f9ede5: Change version number