“MediaWiki:Gadget-prism-language-php-extras.js”的版本间的差异

2024年4月16日 (二) 09:09的最新版本

/**
 * -------------------------------------------------------------------------
 * !!! DON'T MODIFY THIS PAGE MANUALLY, YOUR CHANGES WILL BE OVERWRITTEN !!!
 * -------------------------------------------------------------------------
 */
var _addText = '{{GHIACode|page=GHIA:MoegirlPediaInterfaceCodes/blob/master/src/gadgets/prism-language-php/MediaWiki:Gadget-prism-language-php-extras.js|user=[[U:AnnAngela]]|co-authors=GH:github-actions[bot]、[[U:Bhsd]]|longId=2d5d0ae30421796cfa323a02a78713c0ed261417|shortId=2d5d0ae3|summary=feat(Gadget/prism): 新的代码高亮工具 (#443)|body=<nowiki>Co-authored-by: github-actions[bot] <41898282+github-actions[bot]📧users.noreply.github.com>↩Co-authored-by: Bhsd <55071315+bhsd-harry📧users.noreply.github.com></nowiki>}}'; 

/* <pre> */

"use strict";
Prism.languages.insertBefore('php', 'variable', {
    'this': {
        pattern: /\$this\b/,
        alias: 'keyword'
    },
    'global': /\$(?:GLOBALS|HTTP_RAW_POST_DATA|_(?:COOKIE|ENV|FILES|GET|POST|REQUEST|SERVER|SESSION)|argc|argv|http_response_header|php_errormsg)\b/,
    'scope': {
        pattern: /\b[\w\\]+::/,
        inside: {
            'keyword': /\b(?:parent|self|static)\b/,
            'punctuation': /::|\\/
        }
    }
}); 

/* </pre> */