Le filtrage du rapport "Top Uploads" par extension de fichier ne fonctionne pas

[gerhard (Gerhard Schlager)]

The “Top Uploads” report at /admin/reports/top_uploads has a dropdown for filtering by file extension, but it only accepts the “any” option. Entering another file extension doesn’t work.