--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/res/js/tinymce/plugins/print/plugin.min.js	Thu Nov 28 14:36:31 2013 +0100
@@ -0,0 +1,1 @@
+tinymce.PluginManager.add("print",function(t){t.addCommand("mcePrint",function(){t.getWin().print()}),t.addButton("print",{title:"Print",cmd:"mcePrint"}),t.addShortcut("Ctrl+P","","mcePrint"),t.addMenuItem("print",{text:"Print",cmd:"mcePrint",icon:"print",shortcut:"Ctrl+P",context:"file"})});
\ No newline at end of file