Hi,
On Tue, May 7, 2013 at 7:00 PM, wp mirror <wpmirrordev(a)gmail.com> wrote:
a) if patches are welcome upstream; and, if so,
I'm sure.
b) what procedures you prefer for submitting,
reviewing, and applying
patches; and
Please submit patches to Gerrit. See
https://www.mediawiki.org/wiki/Gerrit#Getting_started for Gerrit in
general and
https://gerrit.wikimedia.org/r/50180 for an example of a
past change that patched the same file.
Are you already familiar with git?
-Jeremy
(letting others chime in on the other questions)