Jean-Christian Denis a92e6ec8af update php headers to phpdoc style (and some fixes)		2021-09-02 14:32:26 +02:00
..
en	update php headers to phpdoc style (and some fixes)	2021-09-02 14:32:26 +02:00
fr	update php headers to phpdoc style (and some fixes)	2021-09-02 14:32:26 +02:00