Fixes #13417: Provide facet registration through plugin API
(cherry picked from commit 7d90b5cb23decf7d9f6f09f8114ea8a9b1f697a0)
Fixes #13417: Provide facet registration through plugin API
(cherry picked from commit 7d90b5cb23decf7d9f6f09f8114ea8a9b1f697a0)