diff --git a/ecrire/inc_version.php b/ecrire/inc_version.php index 74a94cec808c4eedc4fe5df778337d409a441824..65093ab92ff7e1bd20bb0687c90a60eac1a74084 100644 --- a/ecrire/inc_version.php +++ b/ecrire/inc_version.php @@ -357,7 +357,7 @@ $traiter_math = 'tex'; $xhtml = false; $xml_indent = false; -$formats_logos = array('jpg', 'png', 'svg', 'gif'); +$formats_logos = array('jpg', 'png', 'svg', 'gif', 'webp'); // Controler les dates des item dans les flux RSS ? $controler_dates_rss = true;