Update 5.2.17.sh

add redis extension