--- mediawiki-1.5beta4/includes/DefaultSettings.php	2005-07-30 22:57:15.000000000 +0200
+++ mwMM/applic/includes/DefaultSettings.php	2005-08-20 17:03:16.930138872 +0200
@@ -1601,4 +1624,32 @@
  */
 $wgUseTrackbacks = false;
 
+/**
+* (see includes/SpecialExport.php file)
+*
+* Acceptable values are :
+* - define( 'MW_EXPORT_DISPO_NEVER',   0 );
+* - define( 'MW_EXPORT_DISPO_PERHAPS',   1 );
+* - define( 'MW_EXPORT_DISPO_SUGGESTED',   2 );
+* - define( 'MW_EXPORT_DISPO_ALLWAYS',   3 );
+*/
+$wgSpecialExportDownload = MW_EXPORT_DISPO_SUGGESTED ;
+
+/**
+* (see includes/SpecialExport.php file)
+*
+* Acceptable values are :
+* - define( 'MW_EXPORT_FILENAME_ASK_ELSE_TIMESTAMP',   0 );
+* - define( 'MW_EXPORT_FILENAME_ASK_ELSE_RANDOM',   1 );
+* - define( 'MW_EXPORT_FILENAME_TIMESTAMP',   2 );
+* - define( 'MW_EXPORT_FILENAME_RANDOM',   3 );
+*/
+$wgSpecialExportFilename = MW_EXPORT_FILENAME_DEFAULT ;
+
+/**
+* (see includes/SpecialExport.php file)
+*/
+$wgSpecialExportPrefix = MW_EXPORT_DEFAULT_PREFIX ;
+
+// !EOF : includes/DefaultSettings.php
 ?>