phpmyadmin/phpmyadmin — pull request #1248 by Tithugues (2014-06-22 20:53:11+00:00)
Title: Add missing include. (bug #4463)

Please confirm that the new include is ok or if you want to do the require in another place.
Thanks.