Mozilla wasn’t happy with me using a third party library pdfjs for viewing pdf files so I removed support for pdf highlights. But if you install Yawas from the GitHub source then you can enable it.
https://github.com/ldenoue/yawas

The highlights are stored now inside your browser bookmarks: so there must be a way for you to export them using the built in browser tool?