Update HTML DOM attribute "edition" to "data-edition"

This commit is contained in:
Guillaume Gomez 2020-12-23 20:27:12 +01:00
parent 9b62936928
commit 152d4e74be
3 changed files with 3 additions and 3 deletions

View file

@ -3,7 +3,7 @@
// @has foo/fn.bar.html '//*[@class="tooltip compile_fail"]' "ⓘ"
// @has foo/fn.bar.html '//*[@class="tooltip ignore"]' "ⓘ"
// @has foo/fn.bar.html '//*[@class="tooltip should_panic"]' "ⓘ"
// @has foo/fn.bar.html '//*[@edition="2018"]' "ⓘ"
// @has foo/fn.bar.html '//*[@data-edition="2018"]' "ⓘ"
/// foo
///