{ "frame": { "loading": "Loading plugin …", "failed": "The plugin “{{name}}” could not be loaded." }, "block": { "edit": "Edit", "done": "Done", "inactive": "The plugin “{{name}}” is not active for this pond." }, "tools": { "title": "Page tools" }, "preview": { "loading": "Loading plugins …", "loadFailed": "The plugin list could not be loaded.", "notFound": "This plugin is not installed.", "title": "Preview: {{name}}", "permissions": "Requested permissions", "noPermissions": "This plugin requests no permissions.", "surface": "Surface", "noSurfaces": "This plugin provides no surfaces." }, "admin": { "title": "Plugins", "intro": "Installed plugins run sandboxed. Review the permissions a plugin requests before enabling it.", "upload": "Upload plugin (.zip)", "empty": "No plugins installed yet.", "permissions": "Permissions", "noPermissions": "none", "mode": "Mode", "preview": "Preview", "uninstall": "Uninstall", "requiredLocked": "A required plugin cannot be uninstalled." }, "mode": { "disabled": "Disabled", "optional": "Optional", "required": "Required", "hint": { "disabled": "Installed but inactive everywhere.", "optional": "Pond Admins can enable it per pond.", "required": "Always active in every pond." } }, "pond": { "title": "Plugins", "hint": "Enable optional plugins for this pond.", "empty": "No optional plugins are available." } }