[00:27:07] legoktm: thanks! could you look at https://gerrit.wikimedia.org/r/#/c/303734/ as well? [00:49:55] tgr: I reviewed it and it looks fine code wise, still debating about whether we actually want it though [00:50:30] you can see in the followup patch what I want to use it for [00:51:37] it would be nice to make that the standard way of documenting globals [00:53:05] having a dedicated key in extension.json sucks less than the old @-based method but it still does not cooperate with IDEs and documentation generators, plus formatted text is hard to read in JSON [01:38:17] legoktm, TimStarling: I left a note on https://phabricator.wikimedia.org/T90849 re: global user pages. [01:53:14] ori: http://www.daedtech.com/human-cost-tech-debt/ is great! I didn't realize Ward Cunningham coined the term. [16:23:59] anomie: I would like your opinion on https://phabricator.wikimedia.org/T142585 [21:00:58] RFC meeting starting now in #wikimedia-office: A spec for Wikitext