Hi,
I have some patches for Extension:Collection, which actually apply to mwlib. While the php code seems to reside on the wikimedia servers, mwlib is on github.
Should I attach them to a corresponding bug on bugzilla.wikimedia.org, or should I open a pull request on github?
Thanks, Strainu