Deprecated: The /e modifier is deprecated

Quizá este problema sea muy específico, pero imagino que no seré el único. En nuestro Prestashop tenemos el módulo doofinder para la búsqueda avanzada dentro de nuestra web. Todo iba bien hasta la actualización a PHP 5.4 tras la cual nos dio el siguiente error:...