| Index: trunk/phase3/includes/DefaultSettings.php |
| — | — | @@ -899,13 +899,13 @@ |
| 900 | 900 | $wgDTD = 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'; |
| 901 | 901 | $wgXhtmlDefaultNamespace = 'http://www.w3.org/1999/xhtml'; |
| 902 | 902 | |
| 903 | | - /** |
| 904 | | - * Should we output an HTML 5 doctype? This mode is still experimental, but |
| 905 | | - * all indications are that it should be usable, so it's enabled by default. |
| 906 | | - * If all goes well, it will be removed and become always true before the 1.16 |
| 907 | | - * release. |
| 908 | | - */ |
| 909 | | - $wgHtml5 = true; |
| | 903 | +/** |
| | 904 | + * Should we output an HTML 5 doctype? This mode is still experimental, but |
| | 905 | + * all indications are that it should be usable, so it's enabled by default. |
| | 906 | + * If all goes well, it will be removed and become always true before the 1.16 |
| | 907 | + * release. |
| | 908 | + */ |
| | 909 | +$wgHtml5 = true; |
| 910 | 910 | |
| 911 | 911 | |
| 912 | 912 | /** |