[phpMyAdmin Git] [phpmyadmin/docker] 188a0e: Do not remove manually marked dependencies of php extensions