Interesting, I hadn't noticed the "dtoverlay=hifiberry-digi" print on my PCB ("HifiBerry Digi-Pro HW 1.1") before 
Adding that line won't hurt, but it doesn't seem to be needed. Just tested here on a 3B+ using LE 8.2.5 and it was detected fine, without anything added to config.txt (yesterday I tested it on a 3B using bleeding edge LE9 build with kernel 4.19-rc2).
LibreELEC (official): 8.2.5 (RPi2.arm)
le8:~ # aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: sndrpihifiberry [snd_rpi_hifiberry_digi], device 0: HiFiBerry Digi+ Pro HiFi wm8804-spdif-0 []
Subdevices: 1/1
Subdevice #0: subdevice #0
If you can't get the card working, add the following line to config.txt:
then reboot, ssh in and post the output of the following commands
vcdbg log msg 2>&1 | paste
dmesg | paste
Then add "dtoverlay=hifiberry-digi" to config.txt (maybe it's indeed needed on some version of the card, who knows), reboot, run the two commands again and post the output as well.
so long,
Hias