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