Updated mediawiki/extensions
Project: mediawiki/extensions/Oversight  7dee5f40fbd1b14654690762be4751c856f767ac

Add 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: I51ab893d51d0f1c8002a3ccf7d2cfcdf2f017966
(cherry picked from commit 0ca29af9a2088d00af557fe09453d74ec94db0fa)
Updated mediawiki/extensions
Project: mediawiki/extensions/PoolCounter  75b26250c7db9b934d96e350d0b90fe2fa7b7574

Add 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: I51ab893d51d0f1c8002a3ccf7d2cfcdf2f017966
(cherry picked from commit 4d76d8a0afdcc77aa838c79007ed7d304cad3188)