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
Merge "default php entry point"