Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: 81c51c9acdac1198edba65b85a4b31b32327419e https://github.com/phpmyadmin/scripts/commit/81c51c9acdac1198edba65b85a4b31b... Author: William Desportes <williamdes@wdes.fr> Date: 2020-07-19 (Sun, 07 July 2020) +02:00 Changed paths: M develdocs/output/index.html Log Message: ----------- Fix a typo on the develdocs page