search

offspot / wikifundi

Create a pre-configured Mediawiki for offline Wikipedia contribution teaching
11 stars 2 forks source link

Delete archived files #47

Closed kelson42 closed 6 years ago

kelson42 commented 6 years ago

Deleted files are still kept. They should be deleted. https://www.mediawiki.org/wiki/Manual:Image_administration#Deletion_of_Archived_Files

florentk commented 6 years ago

fix in f3ffa91