[16:42:37] <hsnsbaua>	 The mobile editor does not work on my wiki.
[16:44:55] <Reedy>	 Ok.. And what would you like us to do about that?
[16:46:34] <hsnsbaua>	 I don't know if that indicates an error in the extension.
[16:49:47] <hsnsbaua>	 Reedy The interface messages exist, which means that the functionality is installed on the wiki, but is not activated.
[16:50:18] <Reedy>	 And by "mobile editor" what do you mean exactly?
[16:50:24] <Reedy>	 What extensions have you installed?
[16:50:32] <Reedy>	 What happens? What do you expect to happen?
[16:50:38] <hsnsbaua>	 MobileFrontend is the extension.
[16:51:54] <hsnsbaua>	 Uploaded file: https://uploads.kiwiirc.com/files/6a24299a9917dcb8f74227bf43bb2038/0C0DEEB2-6FEA-4D0B-B2D3-FD99FCB78237.jpeg
[16:54:25] <hsnsbaua>	 https://$1/$2#/editor/$3 is the editor URL format.
[16:55:43] <hsnsbaua>	 Reedy
[21:34:30] <Krinkle>	 Amir1: About https://gerrit.wikimedia.org/r/591109, I'm not sure I follow. There is/wasn't a keypress handler. It's pure HTML/CSS. Does there need to be?
[21:34:50] <Krinkle>	 The way it currently works is that for keyboard nav, focussingn the toggle link responds to spacebar (in line with aria-toggles/checkboxes)
[21:36:06] <Krinkle>	 It's the same as the "More" menu, for example. Do you think there shuold be a keypress/Enter handler?
[21:40:17] <Amir1>	 Krinkle: maybe I' missing something obvious but search for e.which === 13 in https://gerrit.wikimedia.org/r/c/mediawiki/core/+/591109/4/resources/src/mediawiki.toc/toc.js#b48
[21:45:03] <Krinkle>	 Amir1: that code has been dead for over a year.
[21:45:07] <Krinkle>	 It's unreachable.
[21:45:21] <Krinkle>	 That code handles with the page output not having a checkbox
[21:45:30] <Krinkle>	 the old 2017 approach was to add a click handler and do it with JS.
[21:45:33] <Krinkle>	 It uses CSS now.
[21:49:57] <Amir1>	 oh okay