Leave the MwEmbedSupport repo behind as empty so people calling it don't die horribly.
Description
Details
Related Objects
Event Timeline
Change 350755 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[mediawiki/extensions/MwEmbedSupport@master] Hollow-out repository
Change 350758 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[mediawiki/extensions/TimedMediaHandler@master] WIP: Migrate in all the MwEmbedSupport extension
Change 350758 merged by jenkins-bot:
[mediawiki/extensions/TimedMediaHandler@master] Migrate in all the MwEmbedSupport extension's code so we can kill it off
Change 350755 merged by jenkins-bot:
[mediawiki/extensions/MwEmbedSupport@master] Hollow-out repository
Maybe also add a MOVED or MERGED file with The code of this extension has been merged into Extension:TimedMediaHandler. Please see $info-link(s) for details?
Change 441589 had a related patch set uploaded (by MarcoAurelio; owner: MarcoAurelio):
[mediawiki/extensions/MwEmbedSupport@master] Note that the code of this extension was merged into TimedMediaHandler
Change 441589 merged by jenkins-bot:
[mediawiki/extensions/MwEmbedSupport@master] Note that the code of this extension was merged into TimedMediaHandler
Change 451036 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[mediawiki/extensions/TimedMediaHandler@REL1_31] Migrate in all the MwEmbedSupport extension's code so we can kill it off
Change 451036 merged by jenkins-bot:
[mediawiki/extensions/TimedMediaHandler@REL1_31] Migrate in all the MwEmbedSupport extension's code so we can kill it off