[phpMyAdmin Git] [phpmyadmin/themes] 0231b7: Increase version