To apply the patches:
sudo patch /<email address hidden>/extension.js mgse-mediaplayer.diff
But, care you are using the file "mgse-mediaplayer.diff" in the context you have saved it. I mean, if you have the file in "home", you should write:
sudo patch /<email address hidden>/extension.js /home/mgse-mediaplayer.diff
To apply the patches:
sudo patch /<email address hidden> /extension. js mgse-mediaplaye r.diff
But, care you are using the file "mgse-mediaplay er.diff" in the context you have saved it. I mean, if you have the file in "home", you should write:
sudo patch /<email address hidden> /extension. js /home/mgse- mediaplayer. diff