[18:36:47] <Krinkle>	 Does anyone use 'mediawiki.dic' in core? (ping some ppl I suspect might use IDEs that could use such a file AaronSchulz, legoktm, duesen_ )
[18:40:53] <duesen_>	 Krinkle: no, i didn't even know it exists. what would I use it for?...
[18:42:00] * duesen_ just added it to the PHPStorm spell checker
[18:42:22] <duesen_>	 I guess it'll cut down on squiggly lines in comments
[18:42:29] <Krinkle>	 duesen_: I guess if your IDE runs a spell checker on comments and non-code files like .md, maybe it would help 
[18:42:40] <Krinkle>	 yeah, I get the use case but never bothered.
[18:42:54] <Krinkle>	 I only ever see lines removed from it, never added.
[18:43:17] <duesen_>	 how is it maintained? manually?
[18:43:22] <duesen_>	 in that case it seems a bit pointless
[18:43:46] <Krinkle>	 Looks like Yuri used to update it
[18:43:47] <Krinkle>	 https://github.com/wikimedia/mediawiki/commits/master/maintenance/dictionary/mediawiki.dic
[18:43:59] <Krinkle>	 presumably in some way but not documented/mentioned
[18:45:04] <James_F>	 Let's just drop it?
[18:46:25] <duesen_>	 i never missed it before, i guess i won't miss it in the future ;)