forgot to commit this

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index e7d2979..cf94916 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2551,6 +2551,11 @@ $wgAjaxExportList = array( );
  */
 $wgAjaxWatch = true;
 
+/**
+ * Enable AJAX check for file overwrite, pre-upload
+ */
+$wgAjaxUploadDestCheck = true;
+
 /**
  * Allow DISPLAYTITLE to change title display
  */