Allgemeiner Fragenthread II

[NPC Fighter]

Wie kann ich mit einem PHP-Skript eine INI-Datei schreiben,
die später als INI-Datei wieder eingelesen werden kann?

...

Man hat mir mal gesagt, dass die Verarbeitung mit parse_ini_file() wesentlich unperformanter sei*, als wenn du einfach eine normale PHP-Datei schreiben lässt und diese ganz normal ausliest (du kannst die Einstellungen statt in der Ini-Schreibweise einfach mit assoziativen Arrays lösen).

Code:

; Beispiel für eine Ini-Datei
[1]
name = "NPC Fighter"
posts = 123

[2]
name = "Bluescreen"
posts = 456

PHP-Code:

<?php
// Äquivalente Lösung mit einer PHP Datei
$users[1]['name'] = 'NPC Fighter';
$users[1]['posts'] = '123';
$users[2]['name'] = 'Bluescreen';
$users[2]['posts'] = '456';
?>

* Kann dazu eigentlich jemand hier genauere Aussagen treffen?