[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 431b59: Change doclinks.js to use JS modules