Re: [Phpmyadmin-devel] Navigation integration for Routines, Triggers and Events