[phpMyAdmin Git] [phpmyadmin/sql-parser] f93f5f: Replace Sami by Doctum

[William Desportes]

Branch: refs/heads/QA
Home: https://github.com/phpmyadmin/sql-parser
Commit: f93f5fa401a349b88245ffffa0cde5c5e40695b0
https://github.com/phpmyadmin/sql-parser/commit/f93f5fa401a349b88245ffffa0cde5c5e40695b0
Author: William Desportes <williamdes at wdes.fr>
Date: 2020-08-15 (Sat, 08 August 2020) +02:00

Changed paths: 
A tools/doctum-config.php
M .travis.yml
M phpcs.xml.dist
D tools/sami-config.php

Log Message:
-----------
Replace Sami by Doctum

Ref: https://github.com/phpmyadmin/phpmyadmin/issues/14644
Signed-off-by: William Desportes <williamdes at wdes.fr>