added php 5.3 support back for redis
Merge branch 'master' of https://github.com/safesoftus/overlay