devtools

d2d79627 - [Property Editor] Add a footer for opening documentation / reporting errors (#9099)