Adding redis & mongo php ext