「トップアップロード」レポートをファイル拡張子でフィルタリングしても機能しません

[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.