[spip-dev] erreur marquer_indexer()

Erreur avec spip192d (la derniere version de la zone):

Call to undefined function: marquer_indexer() in
/home/redinter/public_html/ecrire/inc/modifier.php on line 92

¿?

joseluis a écrit :

Erreur avec spip192d (la derniere version de la zone):

Call to undefined function: marquer_indexer() in
/home/redinter/public_html/ecrire/inc/modifier.php on line 92
  
    if ($options['indexation']) {
        include_spip('inc/indexation');
        marquer_indexer('spip_'.$table_objet, $id);
    }

et marquer_indexer est bien dans inc/indexation

donc soit tu as une vieille version d'un de ces 2 fichiers, soit tu as un plugin qui surcharge un de ces 2 fichiers avec une version qui ne correspond pas.

@++

Stephane <stephane <at> rezo.net> writes:

donc soit tu as une vieille version d'un de ces 2 fichiers, soit tu as
un plugin qui surcharge un de ces 2 fichiers avec une version qui ne
correspond pas.

Merçi, le probleme est avec le plugin indexation 0.4