[15:45:04] <cronolio>	 hello, i see some pages in user space marked for translation. why it's happen? why not move these pages to main space ?
[18:04:04] <Trela>	 @_@
[19:31:50] <nezZario>	 Hey guys, .... Silly question maybe, but what version of mediawiki would wikipedia itself be using on a given day?  The stable, I assume? ... Or is the latest dev release?
[19:32:34] <Reedy>	 Somewhere near master
[19:32:44] <Reedy>	 You can tell on https://en.wikipedia.org/wiki/Special:Version
[19:35:34] * Ursula hugs Reedy.
[20:50:33] <N3X15>	 They have their own set of tags
[20:50:42] <N3X15>	 with the prefix "wmf"
[20:52:36] <okdana>	 suppose that i'm a very tedious person and i feel compelled to make small adjustments to spelling/punctuation in a large number of interface messages
[20:52:47] <okdana>	 is there a better way to go about this than just editing the MediaWiki: page for every single one?
[21:01:07] <N3X15>	 I remember there being a PHP file with all the default interface contents, but I can;'t remember which one it was
[21:02:50] <p858snake>	 which will be overwritten when you next upgrade
[21:03:19] <p858snake>	 either the mediawiki: pages, or submit apprioate changes upstream so everyone can benefit 
[21:03:20] <N3X15>	 yeah
[22:42:43] <okdana>	 skinning mw is a fucking nightmare honestly
[22:44:05] <okdana>	 there are 908092834 different components and they all have their own styles and their own expectations for box sizing and padding and line height and whatever
[22:44:52] <okdana>	 i have no idea how i did this before, i guess it was a simpler product 8 years ago
[23:33:52] <p858snake>	 okdana: Isarra is the one you want to talk to i believe
[23:42:11] <okdana>	 reading her grant proposal about timeless, she seems to have come to the same conclusions i have