// 名为 "URLParameters.jslib" 的插件文件
mergeInto(LibraryManager.library, {
    GetURLParameter: function (name) {
        var search = window.location.search.substring(1);
        var params = new URLSearchParams(search);
        var value = params.get(name);
        return value ? Pointer_stringify(value) : null;
    }
});