remove: Fonction `extraire_date`

ecrire/inc/filtres_dates.php

@@ -18,32 +18,6 @@ if (!defined('_ECRIRE_INC_VERSION')) {
 	return;
 }
 
-
-/**
- * Extrait une date d'un texte et renvoie le résultat au format de date SQL
- *
- * L'année et le mois doivent être numériques.
- * Le séparateur entre l'année et le mois peut être un `-`, un `:` ou un texte
- * quelconque ne contenant pas de chiffres.
- *
- * Les jours ne sont pas pris en compte et le résultat est toujours le 1er du mois.
- *
- * @deprecated 4.2
- * @link https://www.spip.net/5516
- * @param string $texte
- *    texte contenant une date tel que `2008-04`
- * @return string
- *    Date au format SQL tel que `2008-04-01` sinon ''
- **/
-function extraire_date($texte): string {
-	// format = 2001-08
-	if (preg_match(',([1-2]\d{3})[^0-9]*(1[0-2]|0?[1-9]),', $texte, $regs)) {
-		return $regs[1] . '-' . sprintf('%02d', $regs[2]) . '-01';
-	}
-	return '';
-}
-
-
 /**
  * Normaliser une date vers le format datetime (Y-m-d H:i:s)
  *