https://commons.wikimedia.org/wiki/Category:Theater_of_Portugal has a single file in it, (actually now a redirect) https://commons.wikimedia.org/w/index.php?title=File:D._Maria,_A_Louca.jpg&redirect=no for no apparent reason. The redirect, file, and category have all been null edited, and even completely blanked, and the file remains listed in this category for some reason.
Description
Event Timeline
You have to delete https://commons.wikimedia.org/w/index.php?curid=38058518 (Easiest is to get an admin who knows js to do it using the API (e.g. https://commons.wikimedia.org/w/api.php?action=delete&pageid=38058518&token=TOKEN_HERE&reason=invalid%20page but a post request)
I removed it from the category, but i couldn't actually delete the page as I'm not an admin
Appears as if you deleted the redirect, not the page that's fake in the filenamespace. https://commons.wikimedia.org/w/index.php?curid=38058518 is still present
Interesting. What causes these files to show in mainspace? https://commons.wikimedia.org/w/index.php?title=Special%3AAllPages&from=file&to=&namespace=0
Looks like this is still stuck in some categories, too. https://commons.wikimedia.org/wiki/Category:Files_with_errors
Tracked on T87645
Pending deletion of the page by an admin (probably tech admin). @Rillke @Jarekt @Steinsplitter?