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;.
+
+
+
+
+