mediawiki-extensions-CodeMi.../i18n/en.json
Amire80 a65fd06afd Change "article" to "page"
This is the usual practice in MediaWiki and extensions,
for consistency among wikis where pages
are not necessarily articles.

Change-Id: I245b9c79e5de55c2c581f53fb4ae0890c4ff4119
2017-07-07 21:49:03 +03:00

17 lines
718 B
JSON

{
"@metadata": {
"authors": [
"pastakhov"
]
},
"codemirror-desc": "Provides syntax highlighting in wikitext editor",
"codemirror-toggle-label": "Syntax highlighting",
"codemirror-beta-title": "Wikitext syntax highlighting",
"codemirror-beta-desc": "Syntax highlighting makes editing easier by using color and shade to visually separate page text from the code for links, references and templates.",
"codemirror-popup-syntax": "Syntax",
"codemirror-popup-highlighting": "Highlighting",
"codemirror-popup-desc": "Syntax highlighting will help you easily distinguish different parts of your edit by color coding them.",
"codemirror-popup-btn-yes": "Try it",
"codemirror-popup-btn-no": "No, thank you"
}