#1484977: Dutch labels updated

program/localization/nl_NL/labels.inc

@@ -68,6 +68,29 @@ $labels['wednesday'] = 'Woensdag';
 $labels['thursday'] = 'Donderdag';
 $labels['friday'] = 'Vrijdag';
 $labels['saturday'] = 'Zaterdag';
+$labels['jan'] = 'Jan';
+$labels['feb'] = 'Feb';
+$labels['mar'] = 'Mrt';
+$labels['apr'] = 'Apr';
+$labels['may'] = 'Mei';
+$labels['jun'] = 'Jun';
+$labels['jul'] = 'Jul';
+$labels['aug'] = 'Aug';
+$labels['sep'] = 'Sep';
+$labels['oct'] = 'Okt';
+$labels['nov'] = 'Nov';
+$labels['dec'] = 'Dec';
+$labels['january'] = 'Januari';
+$labels['february'] = 'Februari';
+$labels['march'] = 'Maart';
+$labels['april'] = 'April';
+$labels['june'] = 'Juni';
+$labels['july'] = 'Juli';
+$labels['august'] = 'Augustus';
+$labels['september'] = 'September';
+$labels['october'] = 'Oktober';
+$labels['november'] = 'November';
+$labels['december'] = 'December';
 $labels['today'] = 'Vandaag';
 $labels['checkmail'] = 'Controleer op nieuwe berichten';
 $labels['writenewmessage'] = 'Nieuw bericht';