Bug#1104594: wims-modules: depends on to-be-removed ckeditor

[Alexandre Detiste]

ckeditor3 was removed recently.

php-horde-editor has just been now moved to ckeditor[4]

ckeditor5 is not packaged, so it's a bit premature
to remove ckeditor4 now.

Greetings