Merge branch 'master' into dev10

2019-11-12 18:58:10 +01:00 · 2019-11-12 18:58:10 +01:00 · 1db71f1751
commit 1db71f1751
parent d2ddb4bf32 6b036d56a1
1 changed files with 1 additions and 0 deletions
--- a/core/module/theme/theme.php
+++ b/core/module/theme/theme.php
@ -92,6 +92,7 @@ class theme extends common {
 		'bold' => 'Gras'
 	];
 	public static $footerHeights = [
+		'0px' => 'Nulles (0px)',
 		'5px' => 'Très petites (5px)',
 		'10px' => 'Petites (10px)',
 		'15px' => 'Moyennes (15px)',