Update docs.html

Updated PHP requirement