Thread:Extension talk:WYSIWYG/Patch for CKeditor.body.php to make it work in MW 1.18/reply (3)

Am I missing something? In terminal I tried

user@speedy:extensions# diff -w -C 1 WYSIWYG/CKeditor.body.php extensions/WYSIWYG/CKeditor.body.php and got the error diff: extensions/WYSIWYG/CKeditor.body.php: No such file or directory

Am I meant to have another version of CKeditor.body.php? and if so where would I get that from?

Thanks from a n00b.