diff --git a/module/doc/js/objectlibs.js b/module/doc/js/objectlibs.js
index fae47aeda7..af11fb65bb 100644
--- a/module/doc/js/objectlibs.js
+++ b/module/doc/js/objectlibs.js
@@ -8,3 +8,10 @@ function ajaxDeleteDoc(link, replaceID, notice)
         })
     }
 }
+
+/* Delete a file. */
+function deleteFile(fileID)
+{
+    if(!fileID) return;
+    hiddenwin.location.href = createLink('file', 'delete', 'fileID=' + fileID);
+}