internationalization extension for PHP
