Manuela (talk | contribs)
 
(2 intermediate revisions by 2 users not shown)
Line 104: Line 104:
:::I don't think SyntaxHighlight needs Scribunto. It uses Pygments, which is a Python (not Lua) library (of which I actually am technically a maintainer, although I've been inactive lately by lack of time). It certainly needs something like <code>exec</code>/<code>proc_open</code>, but this wiki doesn't use a "managed" MediaWiki install (where the provider installs things for you, à la "Wordpress in one click"), it's on a VPS on which I have root access and administrate things myself, so I can install and configure anything (and <code>exec</code> is already being used to run LilyPond). The real problem is that the LilyPond code snippets are mostly added through a the special, non-standard parser tag <code><nowiki><lilypond></nowiki></code> and so the extension I wrote that defines this tag would need to support syntax highlighting.
:::I don't think SyntaxHighlight needs Scribunto. It uses Pygments, which is a Python (not Lua) library (of which I actually am technically a maintainer, although I've been inactive lately by lack of time). It certainly needs something like <code>exec</code>/<code>proc_open</code>, but this wiki doesn't use a "managed" MediaWiki install (where the provider installs things for you, à la "Wordpress in one click"), it's on a VPS on which I have root access and administrate things myself, so I can install and configure anything (and <code>exec</code> is already being used to run LilyPond). The real problem is that the LilyPond code snippets are mostly added through a the special, non-standard parser tag <code><nowiki><lilypond></nowiki></code> and so the extension I wrote that defines this tag would need to support syntax highlighting.
:::Regarding the editor toolbar, it sounds like what you want is not CharInsert but [https://www.mediawiki.org/wiki/Extension:WikiEditor WikiEditor], which I've just added. [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 16:15, 19 December 2025 (UTC)
:::Regarding the editor toolbar, it sounds like what you want is not CharInsert but [https://www.mediawiki.org/wiki/Extension:WikiEditor WikiEditor], which I've just added. [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 16:15, 19 December 2025 (UTC)
::::PS: I also meant to write that Pygments supports LilyPond. (I implemented this a few years ago.) [[User:Jean Abou Samra|Jean Abou Samra]] ([[User talk:Jean Abou Samra|talk]]) 16:26, 19 December 2025 (UTC)
:::::Apropos Pygments: I've submitted a [https://github.com/pygments/pygments/pull/2974 PR] to update LilyPond support some time ago. [[User:Lemzwerg|Lemzwerg]] ([[User talk:Lemzwerg|talk]]) 17:38, 19 December 2025 (UTC)
::::Thank you for installing this extension, this is definitely an improvement. CharInsert is a different animal. Root access is of course best, but you have to do much administration. Usually root access is very expensive when you need a provider. A long time ago I have written a Lilypond extension myself on a home server in my local network.
::::Just in case you are asking who I am, I wrote LSR 1040, 1042, 1043, 1044 (when I remember right) and was involved in 1066 and 1067. [[User:Manuela|Manuela]] ([[User talk:Manuela|talk]]) 19:34, 19 December 2025 (UTC)