[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 109eb9: Fix bug#4274 index_div was being added twice