[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 3b4e51: Docs: remove reference to removed DefaultPropDispl...