Fix bug #3625 with a workaround, revert this commit when PMA drops support for PHP 5.3