1 check-in using file src/include/init.php version 88209f2eb4

2019-12-17
16:02
Merge avec trunk check-in: 12a00549c1 user: bohwaz tags: dev