[18:38:38] ashley: Is there a script that automatically generates an extension.json file based on an existing .php? [18:39:05] Like, I'm converting it for GlobalContribs manually right now but I was wondering if there was a quicker way [18:40:43] sure thing (although personally I prefer doing such conversion manually because scripts are only so "smart") [18:41:24] Ah, I see [18:42:07] https://www.mediawiki.org/wiki/Manual:ConvertExtensionToRegistration.php -- this one [18:46:05] hmm looks like I haven't set up PuTTY yet but thanks :) [19:05:10] [13GlobalContribs] 15codynguyen1116 pushed 1 new commit to 06master: 02https://git.io/v22Px [19:05:10] 13GlobalContribs/06master 14ee8e8b3 15codynguyen1116: new extension registration method support.. [cont]... [20:06:29] [13GlobalContribs] 15mary-kate pushed 1 new commit to 06master: 02https://git.io/v22yw [20:06:29] 13GlobalContribs/06master 14cfa240b 15Jack Phoenix: spaces to tabs, fixed license-name, added GlobalEditcountHTML and GlobalContribsPager classes to the autoloader [20:14:12] [13GlobalContribs] 15mary-kate pushed 1 new commit to 06master: 02https://git.io/v22SJ [20:14:12] 13GlobalContribs/06master 14c633e13 15Jack Phoenix: Coding style nitpicking, the kinda stuff I'm famous for!... [21:01:46] [13LocalSettings] 15codynguyen1116 pushed 1 new commit to 06master: 02https://git.io/v22Q1 [21:01:46] 13LocalSettings/06master 145ac02f1 15Cody Nguyen: load mw.ext GlobalContribs with wfLoadExtensions array