PHP tool to internationalize an application