mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-24 07:13:27 +00:00
8609e98cea
Change-Id: Ie81c67cc3d9daaa62f5be92b691dc4ee571f5b0e
18 lines
901 B
JSON
18 lines
901 B
JSON
{
|
||
"@metadata": {
|
||
"authors": [
|
||
"Glavkos",
|
||
"Nikosgranturismogt"
|
||
]
|
||
},
|
||
"codeeditor-next-annotation": "Πηγαίνετε στην επόμενη σημείωση",
|
||
"codeeditor-toolbar-toggle": "Επεξεργαστής κώδικα εναλλαγής",
|
||
"codeeditor-save-with-errors": "Το έγγραφο περιέχει σφάλματα. Είστε σίγουρος ότι θέλετε να το αποθηκεύσετε;",
|
||
"codeeditor-gotoline": "Πηγαίνετε στον αριθμό γραμμής...",
|
||
"codeeditor-gotoline-placeholder": "γραμμή[:στήλη]",
|
||
"codeeditor-gotoline-prompt": "Εισαγωγή ενός αριθμού γραμμής",
|
||
"codeeditor-indent": "Οδόντωση",
|
||
"codeeditor-error-title": "Η εξάρτηση απέτυχε",
|
||
"codeeditor-error-message": "Το CodeEditor χρειάζεται το WikiEditor για να φορτωθεί."
|
||
}
|