[00:59:51] <ryzendar>	 This file doesn't seem to exist https://mediawiki.org/wiki/Manual:ClearCacheStats.php
[01:00:19] <ryzendar>	 same with showCacheStats.php
[01:04:19] <Reedy>	 Removed in 1.27
[01:05:25] <Reedy>	 But yeah, that isn't helpful
[03:50:27] <ryzendar>	 This looks like a stray article: https://en.wikipedia.org/wiki/Wikipedia:Manual_of_Real_Essentials
[05:30:17] <ryzendar>	 project*
[19:18:36] <furrykef>	 I tried to run a query on Wikipedia at https://quarry.wmcloud.org/, but I got "Can't connect to MySQL server on 'wikipedia.analytics.db.svc.wikimedia.cloud' ([Errno -2] Name or service not known)"
[19:20:58] <zabe>	 furrykef, your database name is invalid, which wiki do you want to querry?
[19:21:57] <zabe>	 if it is enwiki, then the dbname is enwiki_p
[19:24:25] <furrykef>	 Thank you
[19:24:52] <furrykef>	 I'd typed "wikipedia" because I started typing it and it popped up in the list, so I figured it was valid
[19:30:17] <zabe>	 yw
[20:45:12] <mutante>	 I am in "edit source" mode on wikitech.wikimedia.org wiki and suddenly == changes size and color of headers
[20:45:20] <mutante>	 but this is not VE, it's the classic text-only editor
[20:45:38] <mutante>	 wtf or expected?
[20:46:12] <mutante>	 would like "really just source mode"
[20:47:11] <Izno>	 expected, you can turn off syntax highlighting by finding the highlighter in the editor toolbar
[20:47:42] <Izno>	 if you legit want a no-javascript experience with your editor, you can also turn 2010 off entirely in preferences
[20:47:51] <mutante>	 it's not just highlighting, it's actually changing the font size
[20:47:55] <Izno>	 yup
[20:48:02] <mutante>	 well, that's not "source" editing anymore
[20:48:07] <Izno>	 sure it is
[20:48:11] <mutante>	 if I wanted that I would click "edit"
[20:48:15] <Izno>	 you're still typing == X ==
[20:48:30] <Izno>	 highlighting doesn't have to be restricted to highlighting to be highlighting.........
[20:48:39] <Izno>	 it's still source editing
[20:48:54] <mutante>	 thanks, but I really need to turn this off. this is very much not what I expected when clicking "edit source"
[20:49:01] <Izno>	 good luck
[20:49:19] <mutante>	 this is a big change and it was totally unexpected
[20:50:21] <mutante>	 hmm.. still only see "visual" or "source" editing in the drop down. but this is very visual
[20:50:28] <mutante>	 keeps looking
[20:51:50] <mutante>	 Izno: ok, found it:) thanks
[20:52:11] <mutante>	 I assume the actual change was that it's on by default 
[20:54:14] <Izno>	 on some wikis I think?
[20:55:51] <mutante>	 *nod* it probably has to do with upgrade of wikitech wiki while I was out :)
[21:42:03] <perryprog>	 just think of it as a really, really, really heavy bold
[22:35:23] <AntiComposite>	 headers changing size in Extension:CodeMirror is decidedly not new