Array als PHP-snipped in Datei schreiben und lesen

[kai345]

printf('Hallo %s!', ['Du', 'ihr', 'Welt', 'zusammen'][rand(0, 3)]);

für die Termintypen von Veanstaltungsdaten erzeuge ich ein 2-dimensionales Array, das sich monatelang nicht ändert. Also möchte ich es nicht bei jedem Programmlauf per SQL und PHP neu erzeugen (0.04900s), sondern einmalig in eine Datei schreiben und die Datei als PHP-Code lesen (0.00000s).

Obwohl file_put_contents ein array zulässt, kann ich es von Datei mit file_get_contents nicht wieder herstellen:

Arraywerte speichert und liest man am einfachsten (MNSHO) als JSON. Kann man dann mit file_(put|get)_contents problemlos schreiben/lesen

/K