added panel mgmt

2025-07-01 14:09:27 +02:00
parent 5aca14159b
commit 6bc2fc8bf3
2195 changed files with 146523 additions and 5 deletions
--- a/user-mgmt/backend/node_modules/has-symbols/index.js
+++ b/user-mgmt/backend/node_modules/has-symbols/index.js
@@ -0,0 +1,14 @@
+'use strict';
+
+var origSymbol = typeof Symbol !== 'undefined' && Symbol;
+var hasSymbolSham = require('./shams');
+
+/** @type {import('.')} */
+module.exports = function hasNativeSymbols() {
+	if (typeof origSymbol !== 'function') { return false; }
+	if (typeof Symbol !== 'function') { return false; }
+	if (typeof origSymbol('foo') !== 'symbol') { return false; }
+	if (typeof Symbol('bar') !== 'symbol') { return false; }
+
+	return hasSymbolSham();
+};