Re: [phpMyAdmin Developers] about PMA_userprefsPageInit()