php "$args"