Thread:Support/About MediaWiki:Codeeditor-desc/en

Currently uses an http url. Shouldn't this be protocol-relative? Thanks.