Hi Marc,
it works fine; are you happy with this feature?
If it's ready, I could try to merge the 3 commits that contain this
feature, hoping not to merge the code from the unfinished "AJAXify
phpMyAdmin Interface - GSOC 2011 - Table->Browse ->Mutiple rows-> Export".