Do not let two PHP script engines sharing the same script run concurrently.
Authored by: jost_boekemeier 2018-01-02
Parent: [r1147]
Child: [r1149]
