| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -33,7 +33,7 @@ |
| 34 | 34 | } |
| 35 | 35 | |
| 36 | 36 | /** MediaWiki version number */ |
| 37 | | -$wgVersion = '1.16alpha'; |
| | 37 | +$wgVersion = '1.16alpha'; |
| 38 | 38 | |
| 39 | 39 | /** Name of the site. It must be changed in LocalSettings.php */ |
| 40 | 40 | $wgSitename = 'MediaWiki'; |
| — | — | @@ -893,11 +893,11 @@ |
| 894 | 894 | */ |
| 895 | 895 | $wgLegacySchemaConversion = false; |
| 896 | 896 | |
| 897 | | -$wgMimeType = 'text/html'; |
| 898 | | -$wgJsMimeType = 'text/javascript'; |
| 899 | | -$wgDocType = '-//W3C//DTD XHTML 1.0 Transitional//EN'; |
| 900 | | -$wgDTD = 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'; |
| 901 | | -$wgXhtmlDefaultNamespace = 'http://www.w3.org/1999/xhtml'; |
| | 897 | +$wgMimeType = 'text/html'; |
| | 898 | +$wgJsMimeType = 'text/javascript'; |
| | 899 | +$wgDocType = '-//W3C//DTD XHTML 1.0 Transitional//EN'; |
| | 900 | +$wgDTD = 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'; |
| | 901 | +$wgXhtmlDefaultNamespace = 'http://www.w3.org/1999/xhtml'; |
| 902 | 902 | |
| 903 | 903 | /** |
| 904 | 904 | * Should we output an HTML 5 doctype? This mode is still experimental, but |
| — | — | @@ -916,7 +916,7 @@ |
| 917 | 917 | * Normally we wouldn't have to define this in the root <html> |
| 918 | 918 | * element, but IE needs it there in some circumstances. |
| 919 | 919 | */ |
| 920 | | -$wgXhtmlNamespaces = array(); |
| | 920 | +$wgXhtmlNamespaces = array(); |
| 921 | 921 | |
| 922 | 922 | /** Enable to allow rewriting dates in page text. |
| 923 | 923 | * DOES NOT FORMAT CORRECTLY FOR MOST LANGUAGES */ |