Sécurité sur `action_ajouter_un_document_dist` si le document est déjà dans IMG
Message de commit
En complément de https://git.spip.net/spip/spip/pulls/5007
Dans action_ajouter_un_document_dist s'assurer qu'il n'y ait pas
deux entrées dans spip_documents avec la même valeur pour
fichier. Si cela risque d'être le cas, renommer le fichier avant
l'insertion en base.
Cela n'arrive que si $file correspond à un document qui est deja dans IMG.
Complément
J'ai travaillé à partir de la branche 3.2, qui correspond à spip 4, si j'ai bien compris. A reporter le cas échéant en master ?