MiniFunx for dummies

CLI()
🇮🇹 Sostituisce <br> con \n, se PHP sta funzionando da terminale.
🇬🇧 It replaces <br> with \n if PHP is running from terminal (CLI).
echo cli("Break after this line.<br>");

CONTAINS()
🇮🇹 Verifica se una stringa contiene un dato testo. Non distingue tra maiuscole e minuscole.
🇬🇧 It checks if a string contains a word. Case insensitive check.
if (contains("Alice in Wonderland","in")) { echo "ok"; } else { echo "no"; }

DATE_ITALIAN()
🇮🇹 Converte una stringa data nel formato italiano: nome del giorno, data, nome del mese, anno.
🇬🇧 It converts a date string to the Italian format and language: day name, day number, month name, year.
date_italian("2023/05/24");

DEACCENT()
🇮🇹 Ricodifica le lettere con segni diacritici, ad esempio per usare una stringa come parte di un indirizzo.
🇬🇧 It removes and codes accents in a string, e.g. for URL purposes.
$page = deaccent("C'è chi sì e c'è chi no.");

DIACRITICS()
🇮🇹 Elimina segni diacritici e accenti da una stringa in caratteri latini, ad esempio per usarla come parte di un indirizzo.
🇬🇧 It removes diacritics and accents in a string encoded in Latin characters, e.g. for URL purposes.
$page = diacritics("D'où la tempête est arrivée.");

FCLOSE_MULTI()
🇮🇹 Chiude più file alla volta.
🇬🇧 It closes more files at a time.
fclose_multi("one.csv","two.txt","three");

HAS_NUMBERS()
🇮🇹 Verifica se una stringa contiene dei numeri.
🇬🇧 It checks if a string contains any numbers.
if (has_numbers("Born in 1999.")) { echo "ok"; } else { echo "no"; }

INCLUDE_MULTI()
🇮🇹 Include più file alla volta.
🇬🇧 It includes more files at a time.
include_multi("one.php","two.php","three.php");

RASNA()
🇮🇹 Converte testo latino destrorso in caratteri sinistrorsi etruschi del blocco Old Italian Unicode; necessita del font Rasna Haiku per funzionare correttamente.
🇬🇧 It converts Latin text to Old Italic Unicode RTL for Etruscan; it needs the Rasna Haiku font to work properly.
rasna("acale");

REACCENT()
🇮🇹 Ripristina i segni diacritici codificati con deaccent().
🇬🇧 It decodes and rewrites the accents of a string previously coded with deaccent().
$page = reaccent("C|e1_chi_si1_e_c|e1_chi_no.");

REQUIRE_MULTI()
🇮🇹 Richiede più file alla volta.
🇬🇧 It requires more files at a time.
require_multi("one.php","two.php","three.php");

SPACES()
🇮🇹 Elimina gli spazi in eccesso in una stringa.
🇬🇧 It deletes redundant spaces in a string.
echo spaces(" Once        upon a    time ");

TIMEZONE()
🇮🇹 Definisce il fuso orario locale da usare.
🇬🇧 It sets the local time zone to be used.
timezone("Europe/Rome");

URL_GET_CONTENTS()
🇮🇹 Alternativa a file_get_contents() per file remoti.
🇬🇧 An alternative to file_get_contents() for remote files.
$remotefile = url_get_contents("www.thatsite.com/page.html");

Last update: May 2023.