Connecting PHPredis to redis-cli running a Lua script

Question

I have been provided with a Lua script e.g. example.lua which I can call from the redis-cli in this way (Linux environment):

redis-c