Excuse me. On my local MediaWIki, when I install SyntaxHighlighter, I get an error message when displaying Gadget:
Notice: fwrite(): write of 7804 bytes failed with errno=32 Broken pipe in D:\mediawiki-1.36.0\vendor\wikimedia\shellbox\src\Command\UnboxedExecutor.php on line 315
When I save this script, the gadget does not work, but it does work if I remove SyntaxHighlighter from LocalSettings.php beforehand and save it.
Can anyone tell me what is causing this?