diff --git a/lang/de/home.php b/lang/de/home.php index 0bf4bb5..49e74de 100644 --- a/lang/de/home.php +++ b/lang/de/home.php @@ -192,6 +192,8 @@ // VerticesDegree.js $g_lang['maximum_degree_of_graph'] = "The maximum degree of a graph is"; + $g_lang['done'] = "Done"; + $g_lang['action'] = "Actions"; $g_lang['common_edge_style'] = "Common edge style"; $g_lang['selected_edge_style'] = "Selected edge style"; diff --git a/lang/el/home.php b/lang/el/home.php index 90f6dc0..b7e8559 100644 --- a/lang/el/home.php +++ b/lang/el/home.php @@ -230,6 +230,8 @@ // VerticesDegree.js $g_lang['maximum_degree_of_graph'] = "The maximum degree of a graph is"; + $g_lang['done'] = "Done"; + $g_lang['action'] = "Actions"; $g_lang['common_edge_style'] = "Common edge style"; $g_lang['selected_edge_style'] = "Selected edge style"; diff --git a/lang/en/home.php b/lang/en/home.php index ff68b61..216eec6 100755 --- a/lang/en/home.php +++ b/lang/en/home.php @@ -229,6 +229,8 @@ We have added Dutch translation 🇳🇱. Thank you Willie de Wit"; // VerticesDegree.js $g_lang['maximum_degree_of_graph'] = "The maximum degree of a graph is"; + $g_lang['done'] = "Done"; + $g_lang['action'] = "Actions"; $g_lang['common_edge_style'] = "Common edge style"; $g_lang['selected_edge_style'] = "Selected edge style"; diff --git a/lang/es/home.php b/lang/es/home.php index 0914c34..f72810c 100755 --- a/lang/es/home.php +++ b/lang/es/home.php @@ -229,6 +229,8 @@ Tenemos traducciones en griego 🇬🇷.

+

+