[00:13:43] [1/2] who made the search on ManageWiki have a 100 z-index [00:13:43] [2/2] https://cdn.discordapp.com/attachments/615786602454581249/1485431311676997773/image.png?ex=69c1d736&is=69c085b6&hm=1d8150f35c8c84a02053b9289e1d1c16a7070c33b042fe1e4b1a3ac24a52b4e7& [00:14:14] and why is it sticky [00:15:11] most skins will have that obstructered [00:15:18] kind of a weird decision but whatever [02:47:42] [1/3] Usually it's the course that teaches formal languages (automata theory), some functional programming language, and serve as a prerequisite to a compiler class. [02:47:42] [2/3] In my case we also built a Scheme interpreter in Java which is usually reserved for a compiler course. [02:47:42] [3/3] It's not a course that teaches you _a_ programming language. [04:34:20] i see [04:36:44] i first learnt automata theory (including chomsky hierarchy) exactly in a compiler course [08:15:18] Do you want to leave it up for grabs if you are still busy? I'm tempted to say the first to run `mwdeploy --upgrade-extensions=TableProgressTracking ...` on test151 wins the privilege to test it. [08:16:13] Makes sense. Some places make two separate courses so that students get familiar with some basic concepts first. And the the compiler course can do the fun stuff. [11:32:51] please [11:42:12] Also why are you up at 4am [12:51:37] clearly they are too powerful to need sleep [14:32:11] [1/3] I wonder if I don't edit on meta but just talk here [14:32:11] [2/3] Am I considered "missing"? [14:32:12] [3/3] https://cdn.discordapp.com/attachments/615786602454581249/1485647354337034432/6D399EAD-D260-4D61-ACE9-A751C6E79A4B.png?ex=69c2a06b&is=69c14eeb&hm=3c8d998c98b07bceceb79563fa9fdc6030db575379f9f4d18834752d88ed425d& [15:52:45] that seems like a very 2016 Miraheze description [16:15:21] Yes we filed a missing persons report! [16:15:23] No turning back now [17:17:22] Oh god [17:18:26] @miramail.org when [17:21:10] I mean we have @wikitide.org [17:23:28] mehhh [17:23:38] i actually find that cute i might use it [17:43:57] [1/2] my life if $wgExtractsIncludeClasses actually existed for Extension:TextExtracts (removing a default value from $wgExtractsRemoveClasses doesn't work 💀 [17:43:57] [2/2] https://cdn.discordapp.com/attachments/615786602454581249/1485695611776008252/image.png?ex=69c2cd5c&is=69c17bdc&hm=97416734bbc96daf659091e76ef4c38b0f9aa8b2602d99401411019875d78085& [23:20:44] i find it quite hilarious on how Roblox, Discord, and Twitter are all sites I use [23:21:14] [1/2] and they ALL have the "shield" icon colored [23:21:14] [2/2] https://cdn.discordapp.com/attachments/615786602454581249/1485780491868045513/image.png?ex=69c31c69&is=69c1cae9&hm=d98ae88b1d2b7f94fc20fd13f96bb127690b0da166c2b5732dd2fe3057b05218& [23:21:18] but miraheze doesn't [23:21:21] i love you miraheze [23:22:44] Is that an extended certificate thing [23:25:40] no it means that firefox is protecting me from tracked content [23:26:29] Ah! Nothing to block from us then 😁 [23:31:32] [1/2] ubo kinda useless on miraheze [23:31:32] [2/2] https://cdn.discordapp.com/attachments/615786602454581249/1485783084648501248/image.png?ex=69c31ed3&is=69c1cd53&hm=81ba736d26513e89ae29b93b373f0da14b290fb061af61cf993a418f9ab1b4ac& [23:34:03] [1/2] All it does is get in the way of yummy analytics being collected I believe [23:34:03] [2/2] (If not that then idk what it thinks its blocking for me lol) [23:35:11] analytics.wikitide.net [23:36:59] gosh i love the refreshed skin oh my gosh oh gosh i love it [23:37:01] [1/3] oh yeah sorry forgot about the userright to disable that [23:37:01] [2/3] Here's the true evilness of mh on another wiki [23:37:01] [3/3] https://cdn.discordapp.com/attachments/615786602454581249/1485784463668678666/image.png?ex=69c3201c&is=69c1ce9c&hm=f0af9497df6b8344fa4c9b66e599d7d593ce9f5d4e23ae883bf741268b3105c4& [23:57:33] [1/2] got extremely bored so i did this [23:57:33] [2/2] https://cdn.discordapp.com/attachments/615786602454581249/1485789632657358919/image.png?ex=69c324ed&is=69c1d36d&hm=afcb26d238c23582545a9427dfb01c4cc77deeb3ee5bd3a8c47edf7e1b3c7d38&