[01:29:44] http://en.brickimedia.org/wiki/User_blog:ToaMeiko/A_look_at_the_upcoming_version_of_Refreshed [02:49:44] [13LocalSettings] 15georgebarnick pushed 1 new commit to 06master: 02http://git.io/qX2dGQ [02:49:44] 13LocalSettings/06master 14e1b24f4 15George Barnick: Close LEGO Minifigures Online Wiki... [04:44:53] ashley: SP bug: http://en.brickimedia.org/wiki/User:DC_Comic_Nerd - can't edit this because it was a socialprofile [04:57:21] georgebarnick: do file a ticket in Phabricator to make sure this isn't lost; we're talking about pretty unusual circumstances here since usually you don't delete (or merge) users, as MW wasn't "designed" for that (referential integrity and all that) -- personally I think that not supporting user deletion in core is stupid; but alas, it's somehow "supported" via that hacky User Merge & Delete... [04:57:23] ...ext., but it most likely operates only on MW core tables; think of Renameuser & extensions -- Renameuser cannot update your extension's DB table unless it knows about that [04:58:00] I think this issue would be present after deleting any socialprofile. I think I remember seeing this in the past [05:03:48] it's definitely possible -- despite that SP and the whole social tools package are *mostly* stable, there are still many edge cases and unexplored corners :) remember, I essentially inherited these tools from Wikia/ArmchairGM years ago, and they were quite a mess back then; nowadays the codebase is stabler & more secure & relatively documented, but every now and then new and strange things turn up [05:07:56] lol yeah [05:08:42] the original ArmchairGM codebase was such a glorious mess it's amazing Wikia paid two million dollars for it back in the day... [05:09:09] hahaha [18:03:06] ashley, legoktm, can one of you explain what HHVM (hip hop virtual machine?) is because it sort of just came out of nowhere and I don't understand it [18:16:00] georgebarnick: tl;dr: Facebook decided that PHP was too slow for them, so they rewrote it in a JIT implementation called HHVM. It's significantly faster so the WMF has adopted it and page save times have been cut in half pretty much [18:34:15] hmm [18:34:45] So HHVM runs the PHP code for MediaWiki basically? It just does it faster than PHP itself? [20:44:00] [13LocalSettings] 15georgebarnick pushed 1 new commit to 06master: 02http://git.io/PiprVw [20:44:00] 13LocalSettings/06master 1470f91cb 15George Barnick: Changing default search namespaces... [20:44:45] [13LocalSettings] 15georgebarnick pushed 1 new commit to 06master: 02http://git.io/7tDhQA [20:44:45] 13LocalSettings/06master 14062980d 15George Barnick: Set NS_NEWS as content namespace [20:49:06] [13LocalSettings] 15georgebarnick pushed 1 new commit to 06master: 02http://git.io/V9kutg [20:49:06] 13LocalSettings/06master 146c0f900 15George Barnick: Enable subpages for NS_PART