[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 73d376: Remove old @todo.