[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 86896c: Also publish ad HTMLZIP on ReadTheDocs and adjust the logic