Adding missing 4.0.1 CKEditor plugins