Fixing php indents; setting yes-or-no-p to y-or-n-p.