diff --git a/main/wiki/index.php b/main/wiki/index.php
index d78ce9af8d..eb8d76cb76 100644
--- a/main/wiki/index.php
+++ b/main/wiki/index.php
@@ -198,10 +198,15 @@ else
// saving a change
if (isset($_POST['SaveWikiChange']) AND $_POST['title']<>'')
{
+
if(empty($_POST['title']))
{
Display::display_error_message(get_lang("NoWikiPageTitle"));
}
+ elseif(!double_post($_POST['wpost_id']))
+ {
+ //double post
+ }
else
{
$return_message=save_wiki();
@@ -216,6 +221,10 @@ if (isset($_POST['SaveWikiNew']))
{
Display::display_error_message(get_lang("NoWikiPageTitle"));
}
+ elseif(!double_post($_POST['wpost_id']))
+ {
+ //double post
+ }
else
{
$_clean['assignment']=Database::escape_string($_POST['assignment']); // for mode assignment
@@ -1259,7 +1268,8 @@ if ($_GET['action']=='edit')
//echo ''; //off for now
//echo ''; //off for now
- echo ''; //get current version
+ echo ''; //get current version
+
echo get_lang('Progress').': %';
echo '
';
+ echo '';//prevent double post
echo ''; //for save icon
echo '';//for save button
echo '';
@@ -1771,6 +1782,7 @@ if ($_GET['action']=='discuss')
| : | + ';//prevent double post ?>