From 41eb1679439633ecd4a3052a5bcfbee3d7f2f3fe Mon Sep 17 00:00:00 2001 From: Juan Picado Date: Sat, 23 Mar 2024 20:43:53 +0100 Subject: [PATCH] Update ui.json --- packages/plugins/ui-theme/src/i18n/crowdin/ui.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/plugins/ui-theme/src/i18n/crowdin/ui.json b/packages/plugins/ui-theme/src/i18n/crowdin/ui.json index 6f5c59d80..e6a74798f 100644 --- a/packages/plugins/ui-theme/src/i18n/crowdin/ui.json +++ b/packages/plugins/ui-theme/src/i18n/crowdin/ui.json @@ -55,7 +55,7 @@ "version-history": "Version History", "not-available": "Not available", "deprecated": "Deprecated", - "search.placeholder": "Search for version by semver range, e.g. ^1.0.0", + "search.placeholder": "Search for a version by semver range, e.g., ^1.0.0.", "hide-deprecated": "All deprecated versions are hidden by global configuration" }, "package": {