Public Git Hosting - phpmyadmin.git/commit

commit	0138cb471fe6497712e264ad96458f99f4f4b9cf
author	William Desportes <williamdes@wdes.fr>
	Sun, 17 May 2020 20:29:51 +0000 (17 22:29 +0200)
committer	William Desportes <williamdes@wdes.fr>
	Sun, 17 May 2020 20:29:57 +0000 (17 22:29 +0200)
tree	0f843b17f7698dded28300a09edbd870df98153d	tree \| snapshot (tar.gz zip)
parent	c12f341bbf748257a3b43c1618f0b1c8f30e1431	commit \| diff

Some minor code improvements

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

phpMyAdmin

libraries/classes/Config.php		diff \| blob \| blame \| history
libraries/classes/Controllers/Database/StructureController.php		diff \| blob \| blame \| history
libraries/classes/Display/ImportAjax.php		diff \| blob \| blame \| history
libraries/classes/Plugins.php		diff \| blob \| blame \| history
phpstan-baseline.neon		diff \| blob \| blame \| history
psalm-baseline.xml		diff \| blob \| blame \| history
test/classes/ConfigTest.php		diff \| blob \| blame \| history