php，我该如何更新ini文件？

Question

我有一个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添加新字符串。

像这样：

<form>
<input value="newphpvalue" />
</form

lib_deps = ArduinoJson, PubSubClient,{newphpvalue},{newphpvalue2}

我知道这可以使用php write_ini_file存档，但具体如何？

我还寻找了一些用于向ini文件添加值的库（内置函数）。 我找到了IniFile-master，但有了这个，我无法添加新的价值，它写入旧的，那么还有其他任何库来做这个吗？