[Phpmyadmin-git] [phpmyadmin/phpmyadmin] f18e06: Bug #4023 Requires wildcard EXECUTE/ALTER ROUTINE ...

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: f18e06171009bdb1be99f7cfa4b2c859be08a9c9 https://github.com/phpmyadmin/phpmyadmin/commit/f18e06171009bdb1be99f7cfa4b… Author: Marc Delisle <marc(a)infomarc.info> Date: 2013-12-15 (Sun, 15 Dec 2013) Changed paths: M ChangeLog M libraries/rte/rte_list.lib.php Log Message: ----------- Bug #4023 Requires wildcard EXECUTE/ALTER ROUTINE on DB to allow Procedures to be executed by user Signed-off-by: Marc Delisle <marc(a)infomarc.info> Commit: 0f0afed32f5500c072bd700959688dbf84f565a9 https://github.com/phpmyadmin/phpmyadmin/commit/0f0afed32f5500c072bd7009596… Author: Marc Delisle <marc(a)infomarc.info> Date: 2013-12-15 (Sun, 15 Dec 2013) Changed paths: M ChangeLog M libraries/rte/rte_list.lib.php Log Message: ----------- Merge branch 'QA_4_1' Compare: https://github.com/phpmyadmin/phpmyadmin/compare/fdc91bf4cf6c...0f0afed32f55