[RTfixed] hotline#189358 : fix MaPetiteMediatheque imports in PHP8

changed title from hotline#189358 : fix MaPetiteMediatheque imports in PHP8 to [RTko] hotline#189358 : fix MaPetiteMediatheque imports in PHP8

requested review from @sandre

resolved all threads

resolved all threads

added 1 commit

• eda829f3 - RTFix

Compare with previous version

added 1 commit

• 1d86cdca - hotline#189358 : fix MaPetiteMediatheque imports in PHP8

Compare with previous version

changed title from [RTko] hotline#189358 : fix MaPetiteMediatheque imports in PHP8 to [RTfixed] hotline#189358 : fix MaPetiteMediatheque imports in PHP8

enabled an automatic merge when the pipeline for 1d86cdca succeeds

merged

mentioned in commit 50cbc4a4