Restore the PHP 5.3 compatibility of the listing module (see #7078)