Merci pour ton commentaire, Jeff. Je peux confirmer que oui, ces modifications sont espacées de plus de 5 minutes. Mais même si ce n’était pas le cas, tant qu’une seule post_revision est créée, ne devrait-il pas toujours y avoir un EDIT user_action correspondant ?
En passant, j’ai aussi essayé de définir la période de grâce pour l’édition à 0, et dans ce cas, deux post_revisions identiques sont créées pour chaque modification. Je ne sais pas si c’est intentionnel ou s’il s’agit d’un bug sans rapport.