[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Make $wgExperimentalHtmlIds fall back on modern HTML5 mode
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/377381 ) Change subject: Make $wgExperimentalHtmlIds fall back on modern HTML5 mode .. Make $wgExperimentalHtmlIds fall back on modern HTML5 mode This is a first step of deprecation, next would be to swap the two modes, making html5 fall back on html5-legacy. No separate release notes are required as this is part of deprecation already documented. Change-Id: I132cffbc70bf76f9863d61fd109c73da7bdaeb18 --- M includes/Setup.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified Kaldari: Looks good to me, approved diff --git a/includes/Setup.php b/includes/Setup.php index 68e3d96..d4612dd 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -284,7 +284,7 @@ // Convert this deprecated setting to modern system if ( $wgExperimentalHtmlIds ) { - $wgFragmentMode = [ 'html5-legacy', 'legacy' ]; + $wgFragmentMode = [ 'html5-legacy', 'html5' ]; } $rcMaxAgeDays = $wgRCMaxAge / ( 3600 * 24 ); -- To view, visit https://gerrit.wikimedia.org/r/377381 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I132cffbc70bf76f9863d61fd109c73da7bdaeb18 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: MaxSem Gerrit-Reviewer: Kaldari Gerrit-Reviewer: Legoktm Gerrit-Reviewer: MaxSem Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Make $wgExperimentalHtmlIds fall back on modern HTML5 mode
MaxSem has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/377381 ) Change subject: Make $wgExperimentalHtmlIds fall back on modern HTML5 mode .. Make $wgExperimentalHtmlIds fall back on modern HTML5 mode This is a first step of deprecation, next would be to swap the two modes, making html5 fall back on html5-legacy. No separate release notes are required as this is part of deprecation already documented. Change-Id: I132cffbc70bf76f9863d61fd109c73da7bdaeb18 --- M includes/Setup.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/81/377381/1 diff --git a/includes/Setup.php b/includes/Setup.php index 68e3d96..d4612dd 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -284,7 +284,7 @@ // Convert this deprecated setting to modern system if ( $wgExperimentalHtmlIds ) { - $wgFragmentMode = [ 'html5-legacy', 'legacy' ]; + $wgFragmentMode = [ 'html5-legacy', 'html5' ]; } $rcMaxAgeDays = $wgRCMaxAge / ( 3600 * 24 ); -- To view, visit https://gerrit.wikimedia.org/r/377381 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I132cffbc70bf76f9863d61fd109c73da7bdaeb18 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: MaxSem ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits