[03:58:43] <taylan>	 ashley: You were maintaining Extension:Themes, right? I've a bunch of dark-grey improvements you may wish to merge: https://github.com/TaylanUB/mediawiki-themes/
[03:59:05] <taylan>	 sadly, I keep forgetting how to make a "pull request" for MediaWiki projects, since I do it so rarely
[04:00:02] <taylan>	 in any case, I've rebased my master branch on origin/master so it should be a simple merge
[18:49:38] <melroy1>	 Hi there folks! I followed very common installation of exentions on my latest mediawiki installation. Everything works fine except for : CodeMirror: https://www.mediawiki.org/wiki/Extension:CodeMirror as well as https://www.mediawiki.org/wiki/Extension:TemplateStyles
[18:50:24] <melroy1>	 In both of these extentions mentioned I get very similar errors: TemplateStyles is not compatible with the current MediaWiki core (version 1.43.1), it requires: >= 1.44 
[18:50:32] <melroy1>	 however.. I'm pretty sure v1.44 is NOT out yet.
[18:52:39] <melroy1>	 the problem is also that these repos are not nicely tagged.. so I have no clue from which git commit this required has changed, causing the error mentioned above :\
[19:03:47] <JJMC89>	 each should have a branch (e.g. REL1_43) you should use instead of master. also, you can use Download extension link which goes to https://www.mediawiki.org/wiki/Special:ExtensionDistributor/CodeMirror to select the version compatible with your MW core version, e.g., https://www.mediawiki.org/wiki/Special:ExtensionDistributor?extdistname=CodeMirror&extdistversion=REL1_43
[20:45:15] <melroy1>	 The latest tags I can fetch is REL1_38!?
[20:46:00] <melroy1>	 ah.. yes. they do have a branch indeed .. REL1_43... you're right.. Maybe also create tags? Or remove the old tags to avoid confusion
[20:48:01] <melroy1>	 ALso.. would it be a good idea to mention switching branches on the wiki pages? https://www.mediawiki.org/wiki/Extension:CodeEditor#Installation
[20:50:48] <Vulpix>	 melroy1: See https://www.mediawiki.org/wiki/Download_from_Git#Using_Git_to_download_MediaWiki_extensions
[20:52:10] <moonmoon>	 melroy1: extensions are generally not tagged at all because many lack the support structure that tagging implies; the REL* is the nomenclature for branch names
[21:01:18] <melroy1>	 i see ok.. Just saying :)
[21:01:38] <melroy1>	 Last question.. if you do not mind hopefully?
[21:01:40] <melroy1>	 VisualEditor is required for DiscussionTools. However, it might sounds wrong but I actually only want to show the "Edit source" button going to the CodeEditor + CodeMirror editor basically.. I think Arch Linux has also VisualEditor installed yet disabled the "Edit" button (so it only shows "Edit source"). Any idea how to disable the edit button, while allowing me to be DiscussionTools?
[21:05:23] <melroy1>	 (I mean ArchWiki of course. I know it should be possible, but I couldn't find the VisualEditor parameter config)
[21:13:57] <moonmoon>	 melroy1: https://www.mediawiki.org/wiki/Extension:VisualEditor#Quick_configuration_guide
[21:14:05] <moonmoon>	 you want the "Enabled for all to opt-in" column
[21:14:25] <moonmoon>	 (this means it is disabled by default, but individual users can turn it on in their prefs, and it will still exist for the purpose of other things needing it)
[21:15:19] <moonmoon>	 for the visual mode one, at least
[21:55:29] <melroy1>	 ah yes. got it! Thank you! moonmoon you been very kind.
[21:56:03] <moonmoon>	 glad you got it working :)
[22:19:58] <melroy1>	 :)