Hi all, rereading Extension:CodeEditor#Configuration at section 'JavaScript', it is difficult to understand the text "....by hooking into the [[<tvar|res-loader>ResourceLoader/Default_modules#mediawiki_2</>|MediaWiki JS hook]] <tvar|configure>codeEditor.configure
</>."
- Default_modules is a redirection on ResourceLoader/Core_modules
- ResourceLoader/Core_modules #mediawiki_2 does not exist there, landing on section '1.1 mediawiki' which is too general, leading to API documentation, leading to https://doc.wikimedia.org/mediawiki-core/master/js/#!/api/mw.hook where a bunch of options is proposed - and we dont know where to go
- ResourceLoader/Core_modules also doesn't speak about 'MediaWiki JS hook' neither of 'codeEditor'.
So can someone reformulate sentence "....by hooking into the ???? " in a more coherent way ? Thanks.
Christian FR (talk) 09:55, 3 April 2020 (UTC)