An HTML Editor Provider for DNN using the CKEditor.