[14:16:21] <dcausse>	 hi, when I run phpcs -p -s (in i.e. extensions/CirrusSearch) I get errors that are not yet enforced on jenkins side (e.g. class name does not match filename). How can I run phpcs so that it behaves as jenkins?
[16:53:26] <andre__>	 Yes, Phab is down
[17:41:20] <mutante>	 It was fixed 6 min later
[19:51:17] <brion>	 is there any procedure for sticking things in github.com/wikimedia as forks of something from elsewhere on github? need to fork a couple mostly-unmaintained videojs plugins so we can maintain our versions.
[19:51:28] <brion>	 i can put em on gerrit if that's preferred, i guess :)
[19:52:19] <paladox>	 brion i think it's prefered if they are in gerrit.wikimedia.org :)
[20:04:06] <brion>	 ok stuck em on https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests :D
[20:04:26] <paladox>	 brion heh
[20:15:22] <no_justification>	 brion: If it's gonna be deployed,it's gotta be in Gerrit or Phab ultimately
[20:15:47] <no_justification>	 :)
[20:16:23] <brion>	 i'm not sure i'm willing to migrate the whole of say ogv.js into gerrit, but these are fine :D
[20:16:46] <brion>	 (i do have other users !)
[20:17:17] <no_justification>	 You could always include ogv.js as a submodule of something you *do* want to deploy :)
[20:17:40] <no_justification>	 Er, nvm. Direct submodules of github no bueno, now that I think of it
[20:17:40] <no_justification>	 :)
[20:17:43] <brion>	 well that's why all the fun of 'pull from npm, then commit into TimedMediaHandler' comes along :D
[20:30:31] <no_justification>	 :)