On 3 April 2014 15:32, Bartosz Dziewoński <matma.rex(a)gmail.com> wrote:
On Sat, 12 Oct 2013 15:46:08 +0200, Daniel Friesen
<
daniel(a)nadir-seen-fire.com> 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.
jforrester(a)wikimedia.org | @jdforrester