From 3dde92c6738fc46c9c5924a8aa91a12ab6286b9f Mon Sep 17 00:00:00 2001 From: lacatoire Date: Thu, 26 Feb 2026 15:22:44 +0100 Subject: [PATCH] Add Italian translation for mixed, void, never types and require, require_once --- language/control-structures/require-once.xml | 39 +++++++++++++++++ language/control-structures/require.xml | 40 ++++++++++++++++++ language/types/mixed.xml | 44 ++++++++++++++++++++ language/types/never.xml | 40 ++++++++++++++++++ language/types/void.xml | 41 ++++++++++++++++++ 5 files changed, 204 insertions(+) create mode 100644 language/control-structures/require-once.xml create mode 100644 language/control-structures/require.xml create mode 100644 language/types/mixed.xml create mode 100644 language/types/never.xml create mode 100644 language/types/void.xml diff --git a/language/control-structures/require-once.xml b/language/control-structures/require-once.xml new file mode 100644 index 000000000..3ac4b5e2e --- /dev/null +++ b/language/control-structures/require-once.xml @@ -0,0 +1,39 @@ + + + + + require_once + + + L'espressione require_once è identica a + require tranne che PHP verificherà se il file è già + stato incluso, e in tal caso non lo includerà (richiederà) di nuovo. + + + Consultare la documentazione di include_once per informazioni + sul comportamento di _once e su come differisce + dalle versioni senza _once. + + + + + diff --git a/language/control-structures/require.xml b/language/control-structures/require.xml new file mode 100644 index 000000000..41bb3e7b3 --- /dev/null +++ b/language/control-structures/require.xml @@ -0,0 +1,40 @@ + + + + + require + + + + require è identico a include + tranne che in caso di errore produce anche un'eccezione Error + (un errore di livello E_COMPILE_ERROR prima di + PHP 8.0.0), mentre include produce solo un avviso + (errore di livello E_WARNING). + + + Consultare la documentazione di include per il funzionamento. + + + + + diff --git a/language/types/mixed.xml b/language/types/mixed.xml new file mode 100644 index 000000000..31767a093 --- /dev/null +++ b/language/types/mixed.xml @@ -0,0 +1,44 @@ + + + + Mixed + + + Il tipo mixed accetta qualsiasi valore. È equivalente al + tipo union + + object|resource|array|string|float|int|bool|null. + Disponibile a partire da PHP 8.0.0. + + + + mixed è, nel gergo della teoria dei tipi, il tipo top. + Ciò significa che ogni altro tipo è un suo sottotipo. + + + + diff --git a/language/types/never.xml b/language/types/never.xml new file mode 100644 index 000000000..89cf9186a --- /dev/null +++ b/language/types/never.xml @@ -0,0 +1,40 @@ + + + + Never + + + never è un tipo utilizzabile solo come tipo di ritorno, che indica + che la funzione non termina. Ciò significa che chiama exit, + lancia un'eccezione, oppure è un ciclo infinito. + Pertanto, non può far parte di una dichiarazione di + tipo union. + Disponibile a partire da PHP 8.1.0. + + + never è, nel gergo della teoria dei tipi, il tipo bottom. + Ciò significa che è il sottotipo di ogni altro tipo e può sostituire qualsiasi + altro tipo di ritorno durante l'ereditarietà. + + + + diff --git a/language/types/void.xml b/language/types/void.xml new file mode 100644 index 000000000..76a012c03 --- /dev/null +++ b/language/types/void.xml @@ -0,0 +1,41 @@ + + + + Void + + + void è una dichiarazione di tipo utilizzabile solo come tipo di ritorno, + che indica che la funzione non restituisce un valore, ma può comunque terminare. + Pertanto, non può far parte di una dichiarazione di + tipo union. + Disponibile a partire da PHP 7.1.0. + + + + + Anche se una funzione ha un tipo di ritorno void, + restituirà comunque un valore, che sarà sempre &null;. + + + + +