[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 41c1e3: Fix documentation term not in glossary warnings after Sphinx >=v3.0.0

[William Desportes]

Branch: refs/heads/QA_5_0
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 41c1e360d4c162a28e8c6f0949f47aaf467cb2cd
https://github.com/phpmyadmin/phpmyadmin/commit/41c1e360d4c162a28e8c6f0949f47aaf467cb2cd
Author: William Desportes <williamdes at wdes.fr>
Date: 2020-04-12 (Sun, 04 April 2020) +02:00

Changed paths: 
M doc/config.rst
M doc/glossary.rst
M doc/intro.rst

Log Message:
-----------
Fix documentation term not in glossary warnings after Sphinx >=v3.0.0

Signed-off-by: William Desportes <williamdes at wdes.fr>