cup.php gettext tags