Project moved

The MediaWiki Include extension has moved to https://gitlab.com/MediawikiInclude/include