[phpMyAdmin Git] [phpmyadmin/scripts] 81c51c: Fix a typo on the develdocs page

[William Desportes]

Branch: refs/heads/master
Home: https://github.com/phpmyadmin/scripts
Commit: 81c51c9acdac1198edba65b85a4b31b32327419e
https://github.com/phpmyadmin/scripts/commit/81c51c9acdac1198edba65b85a4b31b32327419e
Author: William Desportes <williamdes at 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