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 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l