Marc de Lima Lucio 1e53f87d51 FIX: various PHP8 compatibility fixes		2023-02-08 12:18:46 +01:00
..
doc_generic_user_odt.modules.php	FIX: various PHP8 compatibility fixes	2023-02-08 12:18:46 +01:00