User Details
- User Since
- May 25 2018, 8:36 PM (405 w, 5 d)
- Availability
- Available
- LDAP User
- Unknown
- MediaWiki User
- Antimuonium [ Global Accounts ]
Jul 20 2025
Apr 21 2025
Hi. FYI, it seems to be down again.
Feb 27 2025
Jan 3 2025
Thank you for your response. Then, it should be specified in the documentation, especially since CodeMirror was announced in Tech News a few weeks ago. I also wonder why Special:ExtensionDistributor/CodeMirror does not show the current installed version of MediaWiki (1.44).
Jan 2 2025
Sep 3 2024
Yes, please, feel free to send me updated versions. :)
Sep 1 2024
Hi. Thank you for your reply. Just to clarify: the idea was to do something similar to what's done in the Android app, with language switching directly in the "Places" tab. So there would only be one displayed language at the time. This would be much more convenient than the current version because we would not need to change the main app language.
Jan 10 2023
The issue appears to be resolved now so I'll mark this task as resolved.
