Links to PHP docs for command-line setup