Updated mediawiki/extensions
Project: mediawiki/extensions/WikimediaMaintenance  5ff2401b523d3a1b155432868a6966c6859cb0a6
null
Maintenance script to clean up old bogus skin preferences

Change-Id: I7cfa2cd3f533aac6efb6093edb547fb9dc049d79