Be more specific about static in PHPDoc vs. PHP

This also fixes the *keyword* repetition.