DefaultSettings.diff
Public
Actions

Authored By

	• bzimport
	Nov 21 2014, 8:45 PM

Size

1 KB

Referenced Files

None

Subscribers

None

DefaultSettings.diff
View Options

	--- 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
	?>