Checkbox selecting plugin for Adminer
Adminer is database management script in single PHP file.
This plugin allows select/deselect several checkboxes with single click, while pressing Shift key. It uses jQuery from Google CDN, but you can load your own local script, passing URL as parameter for plugin constructor.
Read how to setup Adminer plugins.