On 3 April 2014 15:32, Bartosz Dziewoński <[email protected]> wrote:
> On Sat, 12 Oct 2013 15:46:08 +0200, Daniel Friesen < > [email protected]> wrote: > > I've been bothered for awhile by the mess we have in resources/jquery/ – >> 3rd party libraries, custom libraries we have to maintain, and directly >> MW related code using mediaWiki.* APIs all mixed together in the same >> directory. So I went and audited the .js we have inside >> resources/jquery/ and have wrote up an RFC on it: >> >> https://www.mediawiki.org/wiki/Requests_for_comment/ >> Isolate_custom_jQuery_libraries >> > > James has just – apparently independently – submitted a changeset that > seems quite related. https://gerrit.wikimedia.org/r/#/c/123782/ Yeah, Timo and I were complaining about people touching upstream libraries without thinking about it, so I thought I should JFDI; we'll probably merge it today/tomorrow to minimise disruption. J. -- James D. Forrester Product Manager, VisualEditor Wikimedia Foundation, Inc. [email protected] | @jdforrester _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
