[00:32:35] bd808: do you know about https://phabricator.wikimedia.org/T186302#3998301 ? [00:33:23] about getting things in to the php manual? A tiny bit [00:33:33] there is a git repo [00:33:50] its all built from ... docbook? [00:34:14] legoktm: I'd like to help with codesearch [00:34:18] I think all the things in the manual are PECL/PEAR projects [00:35:01] MaxSem: yay, another one! [00:35:27] MaxSem: woot, I'll add you to the list [00:36:11] bd808: which is also a separate question, should we try and get luasandbox into pecl? [01:00:35] legoktm: *shrug* its generally a pretty easy process. you write a proposal to their mailing list with a link to the repo and a reason you want to be in pecl (or at least that's what I did 7 years ago for yaml) [07:22:55] Reedy: https://gerrit.wikimedia.org/r/#/c/414030/1/.phpcs.xml /me cries [08:54:16] MaxSem: sent you an email re: codesearch :)