Empty repository, leave stub file (merged into core)

This extension is obsolete!

It has been replaced by core functionality in the
MediaWiki software (which was added in version 1.22).

The specific commit is:
https://gerrit.wikimedia.org/r/#/c/66137/

Change-Id: Id121fd82c7200e01523673e1a0a6fbc658ce247d