For the last 9 months I have been programming mediawiki customizations for my company. Would it possible for me to submit a patch to the core mediawiki code?
I have identified a bug in HTMLFileCache.php. One of the member variables is not properly set early enough, and if extension code is written in a certain way, the cache code will crash. I lost an entire week to this bug. I almost gave up, were it not for prodding from others in my company.
As a second question, if I am allowed to submit a patch who would submit such a patch to?
For reference, here are a couple of sites I have constructed for my company. http://www.santacruz.com http://www.morganhillobserver.com/