jenkins-bot has submitted this change and it was merged.
Change subject: Put "userjs-" in <code> in apihelp-options-description
......................................................................
Put "userjs-" in <code> in apihelp-options-description
This is good for markup, and is also useful for applying dir="ltr"
in languages where it is needed.
Change-Id: I4fbe7af8a3a83e3137a5bd014032a5ffa2ca4939
---
M includes/api/i18n/en.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Anomie: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/api/i18n/en.json b/includes/api/i18n/en.json
index 5a6a53f..b19c821 100644
--- a/includes/api/i18n/en.json
+++ b/includes/api/i18n/en.json
@@ -254,7 +254,7 @@
"apihelp-opensearch-param-warningsaserror": "If warnings are raised
with <kbd>format=json</kbd>, return an API error instead of ignoring them.",
"apihelp-opensearch-example-te": "Find pages beginning with
<kbd>Te</kbd>.",
- "apihelp-options-description": "Change preferences of the current
user.\n\nOnly options which are registered in core or in one of installed
extensions, or options with keys prefixed with \"userjs-\" (intended to be used
by user scripts), can be set.",
+ "apihelp-options-description": "Change preferences of the current
user.\n\nOnly options which are registered in core or in one of installed
extensions, or options with keys prefixed with <code>userjs-</code> (intended
to be used by user scripts), can be set.",
"apihelp-options-param-reset": "Resets preferences to the site
defaults.",
"apihelp-options-param-resetkinds": "List of types of options to reset
when the <var>$1reset</var> option is set.",
"apihelp-options-param-change": "List of changes, formatted name=value
(e.g. skin=vector). Value cannot contain pipe characters. If no value is given
(not even an equals sign), e.g., optionname|otheroption|..., the option will be
reset to its default value.",
--
To view, visit https://gerrit.wikimedia.org/r/227340
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4fbe7af8a3a83e3137a5bd014032a5ffa2ca4939
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Amire80 <[email protected]>
Gerrit-Reviewer: Anomie <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
