PageRenderTime 50ms CodeModel.GetById 21ms RepoModel.GetById 1ms app.codeStats 0ms

/Branch_4_6-mysql/gforge/plugins/mediawiki/usr/share/mediawiki1.7/LocalSettings.php

https://gitlab.com/oslc-cm-server/olbergers-ff5-oslc
PHP | 157 lines | 70 code | 31 blank | 56 comment | 7 complexity | 59986d9ef95564c49d5fa8123196ab13 MD5 | raw file
Possible License(s): GPL-2.0, MPL-2.0-no-copyleft-exception
  1. <?php
  2. # This file was automatically generated by the MediaWiki installer.
  3. # If you make manual changes, please keep track in case you need to
  4. # recreate them later.
  5. #
  6. # See includes/DefaultSettings.php for all configurable settings
  7. # and their default values, but don't forget to make changes in _this_
  8. # file, not there.
  9. # If you customize your file layout, set $IP to the directory that contains
  10. # the other MediaWiki files. It will be used as a base to locate files.
  11. if( defined( 'MW_INSTALL_PATH' ) ) {
  12. $IP = MW_INSTALL_PATH;
  13. } else {
  14. $IP = dirname( __FILE__ );
  15. }
  16. $path = array( $IP, "$IP/includes", "$IP/languages", "/usr/share/gforge", "/etc/gforge/" );
  17. set_include_path( implode( PATH_SEPARATOR, $path ) . PATH_SEPARATOR . get_include_path() );
  18. require_once( "includes/DefaultSettings.php" );
  19. # If PHP's memory limit is very low, some operations may fail.
  20. ini_set( 'memory_limit', '20M' );
  21. if ( $wgCommandLineMode ) {
  22. if ( isset( $_SERVER ) && array_key_exists( 'REQUEST_METHOD', $_SERVER ) ) {
  23. die( "This script must be run from the command line\n" );
  24. }
  25. } elseif ( empty( $wgNoOutputBuffer ) ) {
  26. ## Compress output if the browser supports it
  27. if( !ini_get( 'zlib.output_compression' ) ) @ob_start( 'ob_gzhandler' );
  28. }
  29. $wgSitename = "GForge";
  30. $wgScriptPath = "/mediawiki";
  31. $wgScript = "$wgScriptPath/index.php";
  32. $wgRedirectScript = "$wgScriptPath/redirect.php";
  33. ## For more information on customizing the URLs please see:
  34. ## http://meta.wikimedia.org/wiki/Eliminating_index.php_from_the_url
  35. ## If using PHP as a CGI module, the ?title= style usually must be used.
  36. $wgArticlePath = "$wgScript/$1";
  37. # $wgArticlePath = "$wgScript?title=$1";
  38. $wgStylePath = "$wgScriptPath/skins";
  39. $wgStyleDirectory = "$IP/skins";
  40. $wgLogo = "$wgStylePath/common/images/wiki.png";
  41. $wgUploadPath = "$wgScriptPath/upload";
  42. $wgUploadDirectory = "$IP/upload";
  43. $wgEnableEmail = true;
  44. $wgEnableUserEmail = true;
  45. $wgEmergencyContact = "webmaster@gforge.eu";
  46. $wgPasswordSender = "webmaster@gforge.eu";
  47. ## For a detailed description of the following switches see
  48. ## http://meta.wikimedia.org/Enotif and http://meta.wikimedia.org/Eauthent
  49. ## There are many more options for fine tuning available see
  50. ## /includes/DefaultSettings.php
  51. ## UPO means: this is also a user preference option
  52. $wgEnotifUserTalk = true; # UPO
  53. $wgEnotifWatchlist = true; # UPO
  54. $wgEmailAuthentication = true;
  55. $wgDBserver = "localhost";
  56. $wgDBname = "wikidb";
  57. $wgDBuser = "wikiuser";
  58. $wgDBpassword = getenv('sys_gfdbpasswd');
  59. $wgDBprefix = "";
  60. $wgDBtype = "mysql";
  61. $wgDBport = "5432";
  62. # Experimental charset support for MySQL 4.1/5.0.
  63. $wgDBmysql5 = false;
  64. ## Shared memory settings
  65. $wgMainCacheType = CACHE_NONE;
  66. $wgMemCachedServers = array();
  67. ## To enable image uploads, make sure the 'images' directory
  68. ## is writable, then set this to true:
  69. $wgEnableUploads = true;
  70. $wgUseImageResize = true;
  71. # $wgUseImageMagick = true;
  72. # $wgImageMagickConvertCommand = "/usr/bin/convert";
  73. ## If you want to use image uploads under safe mode,
  74. ## create the directories images/archive, images/thumb and
  75. ## images/temp, and make them all writable. Then uncomment
  76. ## this, if it's not already uncommented:
  77. # $wgHashedUploadDirectory = false;
  78. ## If you have the appropriate support software installed
  79. ## you can enable inline LaTeX equations:
  80. $wgUseTeX = false;
  81. $wgMathPath = "{$wgUploadPath}/math";
  82. $wgMathDirectory = "{$wgUploadDirectory}/math";
  83. $wgTmpDirectory = "{$wgUploadDirectory}/tmp";
  84. $wgLocalInterwiki = $wgSitename;
  85. $wgLanguageCode = "fr";
  86. $wgProxyKey = "4bf858500e0459a409627b549125510f6ba406818b5adf60d2c608c78fab0b00";
  87. ## Default skin: you can change the default skin. Use the internal symbolic
  88. ## names, ie 'standard', 'nostalgia', 'cologneblue', 'monobook':
  89. ## $wgDefaultSkin = 'monobook';
  90. $wgDefaultSkin = 'gforge';
  91. $wgSkipSkins = array('standard','nostalgia','cologneblue','monobook','simple','chick','myskin');
  92. ## For attaching licensing metadata to pages, and displaying an
  93. ## appropriate copyright notice / icon. GNU Free Documentation
  94. ## License and Creative Commons licenses are supported so far.
  95. # $wgEnableCreativeCommonsRdf = true;
  96. $wgRightsPage = ""; # Set to the title of a wiki page that describes your license/copyright
  97. $wgRightsUrl = "";
  98. $wgRightsText = "";
  99. $wgRightsIcon = "";
  100. # $wgRightsCode = ""; # Not yet used
  101. $wgDiff3 = "/usr/bin/diff3";
  102. # When you make changes to this configuration file, this will make
  103. # sure that cached pages are cleared.
  104. $configdate = gmdate( 'YmdHis', @filemtime( __FILE__ ) );
  105. $wgCacheEpoch = max( $wgCacheEpoch, $configdate );
  106. # debian specific include:
  107. if (is_file("/etc/mediawiki-extensions/extensions.php")) {
  108. include( "/etc/mediawiki-extensions/extensions.php" );
  109. }
  110. $wgShowIPinHeader=false;
  111. require_once( 'includes/GForgeAuthentication.php' );
  112. $wgAuth = new GForgeAuthenticationPlugin();
  113. # 'AutoAuthenticate': called to authenticate users on external/environmental means
  114. # $user: writes user object to this parameter
  115. $wgHooks['AutoAuthenticate'][] = array($wgAuth, 'getGForgeUserSession',array());
  116. # Client-side caching:
  117. /** Allow client-side caching of pages */
  118. //$wgCachePages = false;
  119. /**
  120. * Set this to current time to invalidate all prior cached pages. Affects both
  121. * client- and server-side caching.
  122. * You can get the current date on your server by using the command:
  123. * date +%Y%m%d%H%M%S
  124. */
  125. //$wgCacheEpoch = 'date +%Y%m%d%H%M%S';
  126. ?>