mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-16 11:49:36 +00:00
127cec0d8d
Change-Id: I14d9308687a161ead50d020374bc100484cd13f5
15 lines
433 B
JSON
15 lines
433 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"BeginaFelicysym",
|
|
"Sp5uhe",
|
|
"Woytecr",
|
|
"Chrumps"
|
|
]
|
|
},
|
|
"codeeditor-desc": "Edytowanie stron z kolorowaniem składni JavaScript oraz CSS z użyciem [https://ace.c9.io/ 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..."
|
|
}
|