dist/mediawiki-extensions-collection/usr/share/mediawiki-extensions/collection/collection/jquery.js
dist/mediawiki-extensions-collection/usr/share/mediawiki-extensions/collection/collection/jquery.ui.js
dist/mediawiki-extensions-collection/usr/share/mediawiki-extensions/collection/collection/json2.js
dist/mediawiki-extensions-openid/usr/share/mediawiki-extensions/openid/patches/php-openid-2.2.2.patch
