PHP xgettext implementation