They use gettext - and then convert the .po files to a PHP format which they use internally. They are working on a release. Once that is out of the way, translatewiki.net gets proper attention. This will take around two weeks.