Рабочий стол PHP с MySQL ⇐ Php

[Anonymous]

Я загрузил php Desktop из следующего репозитория GitHub: https://github.com/cztomczak/phpdesktop.
Однако, судя по тому, что я проверил, он даже не поставляется с расширение pdo_mysql в версии PHP 7.2.12.
В папке, которую я скачал, есть файл php.ini, и он уже включает расширение = pdo_mysql, но его нет, и он генерирует это у меня ошибка:

Предупреждение: запуск PHP: невозможно загрузить динамическую библиотеку «pdo_mysql» (пробовал: /home/cz/github/phpdesktop-linux70/build /php-7.2.12/dist-install-exec-prefix/lib/php/extensions/no -debug-non-zts-20170718/pdo_mysql (/home/cz/github/phpdesktop-linux70/build/php-7.2. 12/dist-install-exec-prefix/lib/php/extensions/no-debug-non-zts-20170718/pdo_mysql: невозможно открыть общий объектный файл: такого файла или каталога нет),
< /blockquote>
Я надеюсь подключить свой рабочий стол PHP к MySQL

Подробнее здесь: https://stackoverflow.com/questions/786 ... with-mysql