Re: [Phpmyadmin-devel] About the AJAXification of the index editor