Updated mediawiki/extensions
Project: mediawiki/extensions/Parsoid  a963b4abc3b548ac2581e8599c8c03a593f9a94d
null
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