Bump min compatibility to PHP 7.2.5 and PS 1.7.7, module version to 4.0.0

[leemyongpakvn]

Questions	Answers
Description?	Please check the related issue. This PR is waiting for other PRs with major functioning changes before Release 4.0.0
Type?	refacto
BC breaks?	yes
Deprecations?	no
Fixed ticket?	Fixes PrestaShop/PrestaShop#32841
How to test?	CI green. All code changes are pure format changes so there is no need to check modules functions. The only concern is bumping doctrine/collections: from ^1.4 to ^1.8 that can affects src/Adapter/AbstractAdapter and MySQL, so a full functioning check for PS 1.7.7+ is still needed ;)

[matthieu-rolland]

Still a few issues with phpstan

[leemyongpakvn]

In fact, phpstan checks failed at composer install step with phar-io and phpunit version conflict. We are not in rush with this PR while waiting for Hlavtox's major functioning changes :)

[leemyongpakvn]

phpstan checks failed at composer install step with phar-io and phpunit version conflict

problem is solved by dropping PHP 7.1 support, and jumping to PHP 7.2.5 minimum instead.
Keeping PHP 7.1 support is unrealistic because even PHP 7.2 reached EOL since 1 Jan 2021.
I think merging this PR will make a good base for Module Release 4.0.0 in 2024.

[florine2623]

Hello @leemyongpakvn ,

The switch buttons are not well displayed :

Could you check ?
Thanks!

[leemyongpakvn]

@florine2623 I don't see that issue on both PS1.7.8.9 and PS 8.1.x with installation made by these 2 commands:

git clone https://github.com/PrestaShop/ps_facetedsearch.git
gh pr checkout 941

Maybe you need to apply BO > Clear (PS) cache and FO > Clear (browser) cache before testing again.

[Hlavtox]

@florine2623 Normal on 1.7.6, you can ignore it. 👍

[AureRita]

Hi @leemyongpakvn

Thank you for your PR, I tested it and it seems to works with the version bump as you can see :

Untitled_.Dec.4.2023.3_47.PM.webm

Currently I tried it on 1.7.7.8 and with php 7.2.34 ( yes, I didn't have 7.2.5)
And I've this message when I want to have your PR :

As you can see most of them need 7.3 and other need 7.4 that not really 7.2.5

Another screenshot with php v7.3.33 :

except that, all seems to works as expected with php v7.4 and more
Tested on 1.7.7.8/8.0.x/8.1.x/develop

Waiting for your feedback

[Hlavtox]

I am not sure, but did you run composer install and not composer update? 🤔

[leemyongpakvn]

@AureRita I see. mockery 1.6 requires php ^7.3, downgrade to mockery 1.3 solved the issue. If compose install still fails, you can try composer update as @Hlavtox suggested.
@tleon In need of reapprove after rebase ;)