Placeholder option missing in codemirror5

[oeyoews]

I tried loading placeholder.js as an add-on, but had to also modify the codemirror engine.js plugin to add placeholder; seems to work fine