Use the PHP preprocessor by default

Quick fix for the localsettings breakage on the server. Will be superseded by
https://gerrit.wikimedia.org/r/#/c/43972/ once that is ready.

Change-Id: Ia742957d4cb636400a09850c59435f4c32384ae0