I understand,
Maybe its a good time to upgrade to 7.5.8 instead or do you see any problems with that?
to keep 7.5.7 going I had to set back PHP to below 5.4.
I have hesitated to upgrade to 7.5.8 as i'm always uncertain that i do the right thing when upgrading..