From aa80f28de1275990ec52b89f88a485a84058ae26 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 4 Jun 2014 19:17:44 +0200
Subject: [PATCH] set splash message

---
 op/op.RemoveDocument.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/op/op.RemoveDocument.php b/op/op.RemoveDocument.php
index 22c780061..5d5bbaf04 100644
--- a/op/op.RemoveDocument.php
+++ b/op/op.RemoveDocument.php
@@ -112,6 +112,8 @@ if (!$document->remove()) {
 			$notifier->toGroup($user, $grp, $subject, $message, $params);
 		}
 	}
+
+	$session->setSplashMsg(array('type'=>'success', 'msg'=>getMLText('splash_rm_document')));
 }
 
 add_log_line("?documentid=".$documentid);