The gettext shared extension for php
