"prefs-dateformat": "Date format",
"prefs-timeoffset": "Time offset",
"prefs-advancedediting": "General options",
+ "prefs-developertools": "Developer tools",
"prefs-editor": "Editor",
"prefs-preview": "Preview",
"prefs-advancedrc": "Advanced options",
"apisandbox-jsonly": "JavaScript is required to use the API sandbox.",
"apisandbox-api-disabled": "The API is disabled on this site.",
"apisandbox-intro": "Use this page to experiment with the <strong>MediaWiki web service API</strong>.\nRefer to [[mw:API:Main page|the API documentation]] for further details of API usage. Example: [https://www.mediawiki.org/wiki/API#A_simple_example get the content of a Main Page]. Select an action to see more examples.\n\nNote that, although this is a sandbox, actions you carry out on this page may modify the wiki.",
- "apisandbox-fullscreen": "Expand panel",
- "apisandbox-fullscreen-tooltip": "Expand the sandbox panel to fill the browser window.",
- "apisandbox-unfullscreen": "Show page",
- "apisandbox-unfullscreen-tooltip": "Reduce the sandbox panel, so MediaWiki navigation links are available.",
"apisandbox-submit": "Make request",
"apisandbox-reset": "Clear",
"apisandbox-retry": "Retry",