Hello Taco, thank you for your quick response. It is indeed only a warning but such an error message disrupts our website. I have replaced ‘define (‘ WP_DEBUG ‘, false)’ for
ini_set (‘display_errors’, ‘Off’);
ini_set (‘error_reporting’, E_ALL);
define (‘WP_DEBUG’, false);
define (‘WP_DEBUG_DISPLAY’, false);
and that means that I no longer see PHP messages on the front. So problem solved!