phpmyadmin/phpmyadmin — pull request #100 by roccivic (2012-11-04 13:12:16+00:00)
Title: Fixed bug #3583240 - /setup: AJAX is not defined

Should fix: https://sourceforge.net/tracker/?func=detail&aid=3583240&group_id=23067&atid=377408