Hi,
On Tue, May 7, 2013 at 7:00 PM, wp mirror wpmirrordev@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)