Repo mediawiki/extensions/SyntaxHighlight_Pygments is not present at GitHub. I expect https://github.com/wikimedia/mediawiki-extensions-SyntaxHighlight_Pygments to exist, but it's not there.
Description
Description
Related Objects
Related Objects
Event Timeline
Comment Actions
I just created it, then fiddled around in settings while waiting for gerrit to replicate. It's done now.