German translation update

Author: jmoenig

history.txt

@@ -2554,3 +2554,9 @@ ______
 150730
 ------
 * Blocks: improve keyboard editing for embedded rings
+
+150806
+------
+* Polish & German translation updates
+
+=== Release v4.0.2 ===

lang-de.js

@@ -185,7 +185,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         '[email protected]', // optional
     'last_changed':
-        '2015-02-23', // this, too, will appear in the Translators tab
+        '2015-08-06', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:
@@ -780,6 +780,10 @@ SnapTranslator.dict.de = {
         'ausschalten, um Skripte\nnormal auszuf\u00fchren',
     'check to enable\nIDE animations':
         'einschalten um IDE-\nAnimationen zu erlauben',
+    'Flat design':
+        'Helles Design',
+    'Keyboard Editing':
+        'Tastaturunterstützung',
     'Thread safe scripts':
         'Threadsicherheit',
     'uncheck to allow\nscript reentrance':
@@ -798,6 +802,8 @@ SnapTranslator.dict.de = {
         'einschalten f\u00fcr flache\nPinselstrichenden',
     'uncheck for round ends of lines':
         'auschalten f\u00fcr runde\nPinselstrichenden',
+    'Inheritance support':
+        'Prototypische Vererbung',
 
     // inputs
     'with inputs':

lang-pl.js

@@ -190,7 +190,7 @@ SnapTranslator.dict.pl = {
     'translator_e-mail':
         '[email protected]', // optional
     'last_changed':
-        '2013-08-05', // this, too, will appear in the Translators tab
+        '2015-08-06', // this, too, will appear in the Translators tab
 
     // GUI
     // control bar:

locale.js

@@ -42,7 +42,7 @@
 
 /*global modules, contains*/
 
-modules.locale = '2015-July-27';
+modules.locale = '2015-August-06';
 
 // Global stuff
 
@@ -149,7 +149,7 @@ SnapTranslator.dict.de = {
     'translator_e-mail':
         '[email protected]',
     'last_changed':
-        '2015-02-23'
+        '2015-08-06'
 };
 
 SnapTranslator.dict.it = {
@@ -317,7 +317,7 @@ SnapTranslator.dict.pl = {
     'translator_e-mail':
         '[email protected]',
     'last_changed':
-        '2013-08-05'
+        '2015-08-06'
 };
 
 SnapTranslator.dict.tw = {