[phpMyAdmin Developers] How to add custom JS script?