Re: [Mediawiki-l] Problems with texvc when migrating to latest MediaWiki version