Obtener IDS Happyfiles php

                  <?php
function dameNombreseIDs()
{
    $args = [
        "taxonomy" => "happyfiles_category",
        "orderby" => "name",
        "order" => "ASC",
        "hide_empty" => false,
    ];

    $carpetas = get_terms($args);

    foreach ($carpetas as $carpeta) {
        echo "ID: <b>" . $carpeta->term_id . "</b> -- Nombre: <b>" . $carpeta->name . "</b><br>";
    }
}

dameNombreseIDs();
?>