PHP: Recognize vertical tab (\v) and form-feed (\f) as whitespaces

Even though PHP doesn't handle those very well (it emits warnings about
"unexpected character"), it still counts them as whitespaces, so
properly handle them as such.
PHP: Fix some globals not being declared static

This prevents the symbols from being exported and possibly conflicting
with other ones.