Fix undefined variable in AJAX remove after market→repo migration

[kwizer15]

Description

Cette PR corrige un problème détecté par PHPStan : une variable $market était utilisée sans avoir été définie au préalable dans le processus de suppression de dépôt via AJAX.

En analysant le code, il semble que la variable $repo était initialement utilisée mais a été renommée en $market à un moment donné, probablement lors d'une évolution du système. Cependant, l'assignation de la variable n'avait pas été mise à jour en conséquence.

Le correctif renomme $repo en $market dans l'assignation pour maintenir la cohérence avec le reste du code qui utilise cette variable.

Suggested changelog entry

Correction d'une variable non définie détectée par PHPStan lors de la suppression de dépôt via AJAX

Related issues/external references

N/A

Types of changes

• Bug fix (non-breaking change which fixes)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to change)
  • This change is only breaking for integrators, not for external standards or end-users.
• Documentation improvement

PR checklist

• I have checked there is no other PR open for the same change.
• I have read the [La ligne directrice pour contribuer à ce projet / Contribution guidelines for this project).
• I grant the project the right to include and distribute the code under the GNU.
• I have added tests to cover my changes.
• I have verified that the code complies with the projects coding standards.
• [Required for new sniffs] I have added MD documentation for the sniff.