Updated mediawiki/extensions
Project: mediawiki/extensions/Parsoid  07a722c0bb6593b715c18da985ad12212700b3cd

default php entry point

The Wikimedia Jenkins jobs expect MediaWiki extensions to have a default
entry point for the extension.  That greatly simplify loading extensions
automatically.

Change-Id: I53c6608ac96935dedb4dd142f2d6a5a5da8e3292