[02:36:01] is there a machine-readable spec of the mediawiki (action) API anywhere, or any guidance on writing a new client library for it? [02:36:09] I'm planning to do yet another rust one [07:42:18] yes there is [07:44:02] https://www.mediawiki.org/w/api.php?modules=paraminfo [20:31:35] my archived images dir is 550MB but running "php maintenance/deleteArchivedFiles.php --delete" doesn't delete any of them. any idea why? [20:32:12] and is it save for me to delete them manually? [20:32:54] safe* [20:33:11] Does it not output anything? [20:33:20] Or does it suggest it deletes them, but doesn't? [20:33:31] it says done, 0 files [20:34:03] but doing this: find images/archive -name "*.jpeg" | wc -l [20:34:08] shows 941 jpeg files [20:35:02] You'd have to look at the filearchive db table I guess [20:35:08] ahh ok [20:35:19] well if filearchive doesn't know about them, I guess they're just sitting there orphaned [20:35:24] Indeed [20:35:30] And why the script isn't deleting them [20:35:40] ok well that helps clarify things [20:36:06] It's also possible the script is rotten [20:36:15] I don't think so, it worked on a similar install [20:36:17] But it's getting all rows from that table [20:36:40] I think it may be cause of something I did a few months ago [20:36:45] it's ok, I know these files aren't needed [20:36:46] heh [20:42:13] I was testing an import thing and didn't want to pollute the db with a lot of deleted files -- and more importantly it was making it harder to test the code when not having a clean slate [20:42:38] I may have modified the filearchive table, can't remember [20:42:55] could have done some sort of docker image I guess but didn't bother [21:03:15] maybe if you ran the script earlier and it did delete archived revisions, you ran it using an account without sufficient permissions to actually remove those files from the filesystem [21:36:31] yeah could be that too