mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-15 11:30:52 +00:00
72518ad31e
Change-Id: I89fd3b5ed51922906bb64d4b637edc92bd9f7a7b
15 lines
435 B
JSON
15 lines
435 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"BeginaFelicysym",
|
|
"Sp5uhe",
|
|
"Woytecr",
|
|
"Chrumps"
|
|
]
|
|
},
|
|
"codeeditor-desc": "Edytowanie stron z kolorowaniem składni JavaScript oraz CSS z użyciem [http://ace.ajax.org/ edytora Ace]",
|
|
"codeeditor-toolbar-toggle": "Przełącz edytor kodu",
|
|
"codeeditor-save-with-errors": "Dokument zawiera błędy. Czy na pewno chcesz zapisać?",
|
|
"codeeditor-gotoline": "Przejdź do linii numer..."
|
|
}
|