maiaeditor
Version:
MaiaEditor (The MaiaStudio Editor) MaiaScript is a programming language aimed at developing adaptable and intelligent applications.
1 lines • 183 B
JavaScript
Prism.languages.hpkp={directive:{pattern:/\b(?:includeSubDomains|max-age|pin-sha256|preload|report-to|report-uri|strict)(?=[\s;=]|$)/i,alias:"property"},operator:/=/,punctuation:/;/};