IDE 1.8.10 board manger 2.5.2 ESP8266 SD library

With Arduino IDE 1.8.8 with ESP8266 board manager 2.5.0 it was possible to print date and time information from an SD file. It was also possible to set the correct date and time for creating a file and for changing an SD file.
With Arduino IDE 1.8.10 with ESP8266 board manager 2.5.2 a new library has been created for the SD and I have not yet succeeded in getting the above functions working. Does anyone know a solution?

there is no relation between IDE version and esp8266 boards packaga version. you can install 2.5.0 in 1.8.10

It is not possible to have both board manager 2.5.2 and 2.5.0 installed on one computer. IDE 1.8.8 and 1.8.10 can work together on 1 PC.
The use of the SD version from 2.5.0 therefore excludes installing the other improvements from 2.5.2.
But your link gives some hope that it will be solved.