Fix typo that prevented PHP formatting options from being loaded