mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-15 19:39:27 +00:00
27249af1cc
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php with shim. Change-Id: Id2e1243b0d67c0e6e54e4a147adca6df5d8ee78e
9 lines
301 B
JSON
9 lines
301 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"McDutchie"
|
|
]
|
|
},
|
|
"codeeditor-desc": "Modification con coloration syntactic pro paginas con JavaScript e CSS usante le [http://ace.ajax.org/ editor Ace]",
|
|
"codeeditor-toolbar-toggle": "Activar o disactivar le editor de codice"
|
|
} |