[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 53c0ca: Docs: remove reference to removed DefaultPropDispl...