id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
9589	Remove the selectionMark plugin	Alfonso Martínez de Lizarrondo	Piotrek Koszuliński	According to Piotrek replying to my question about its usage, it's a leftover that it isn't being used currently, so I suggest to either remove completely from the source, or update it with a comment explaining that it isn't being used and adjust the build process to remove it so people not working on the dev repository don't see it and waste time figuring out if it's something that they can use.	Task	closed	Normal	CKEditor 4.0	General	4.0	fixed