id,patch_id,filename
663211,130312,includes/htmlform/HTMLForm.php
663212,130312,autoload.php
663213,130312,resources/Resources.php
663214,130312,includes/htmlform/fields/HTMLOrderedMultiselectField.php
663215,130312,includes/widget/OrderedMultiselectWidget.php
663216,130312,resources/src/mediawiki.widgets/mw.widgets.OrderedMultiselectWidget.js