Fixed bug #16313: htmlArea RTE: WebKit does not support copy and cut commands anymore