Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  743d550709186db61cd5358fd49d6bb6243132ed
null
Remove source images and just store compressed images in the folders

Change-Id: Ia107210dfca766ad4a8de4a469638a5c7d877c6d