Skip to content

Update MediaWiki:Gadget-wikieditor-highlight.js (#412) #621

Update MediaWiki:Gadget-wikieditor-highlight.js (#412)

Update MediaWiki:Gadget-wikieditor-highlight.js (#412) #621

Triggered via push February 1, 2024 12:16
Status Success
Total duration 3m 44s
Artifacts

CodeQL.yaml

on: push
Fit to window
Zoom out
Zoom in