phpmyadmin/phpmyadmin — pull request #1076 by bfabiszewski (2014-03-19 15:08:56+00:00)
Title: Fix for missing 'Trigger' menu for older MySQL versions

This fixes an issue when "Triggers" menu won't show up for MySQL versions older than 5.1.6.
Before MySQL 5.1.6, the SUPER privilege was required to create or drop triggers.
Possible fix is to substitute TRIGGER privilege with SUPER privilege in currentUserHasPrivilege function for MySQL versions older than 5.1.6.