Thread:Support/Extension developed elsewhere

What should we do with cases like http://www.mediawiki.org/wiki/Special:Code/MediaWiki/99205#c23929 ? The primary development repo doesn't use our translations. Should we just disable the extension on twn?