mirror of
https://github.com/phpmyadmin/docker.git
synced 2026-08-28 10:15:12 -05:00
This makes it easier to adjust it in config.user.inc.php. Fixes #142 Signed-off-by: Michal Čihař <michal@cihar.com>
This makes it easier to adjust it in config.user.inc.php. Fixes #142 Signed-off-by: Michal Čihař <michal@cihar.com>