php.ini文件更改后是否要更新,php，我该如何更新ini文件？

我有一个PlatformIO ini文件：

; PlatformIO Project Configuration File

;

; Build options: build flags, source filter

; Upload options: custom upload port, speed and extra flags

; Library options: dependencies, extra library storages

; Advanced options: extra scripting

;

; Please visit documentation for the other options and examples

; http://docs.platformio.org/page/projectconf.html

[env:d1_mini]

platform = qsprgssif2266

board = d1_mini

framework = arduino

lib_deps = ArduinoJson, PubSubClient

upload_port = xxx.xxx.xxx.xxx我希望每次使用html输入添加新值时，都会向lib_deps添加新字符串。

喜欢这个：

lib_deps = ArduinoJson, PubSubClient,{newphpvalue},{newphpvalue2}我知道这可以使用php write_ini_file存档，但究竟如何？

我还寻找了一些库(内置函数)来为ini文件添加值。

我发现了IniFile-master，但是由于我不能添加新的值，它会写入较旧的值，所以有没有其他库可以执行此操作？