Index: src/site/docs/editor/getting-started/index.html |
diff --git a/src/site/docs/editor/getting-started/index.html b/src/site/docs/editor/getting-started/index.html |
index f836ab531f62c9eddbb438900922476dba8be862..31fc5a355e8d5fb612e954404772c226b2fdbeba 100644 |
--- a/src/site/docs/editor/getting-started/index.html |
+++ b/src/site/docs/editor/getting-started/index.html |
@@ -7,6 +7,8 @@ js: |
defer: true |
- url: /js/editor-downloads-analytics.js |
defer: true |
+- url: /js/editor-version.js |
+ defer: true |
--- |
{% include platform-specific-text/_noscript.html %} |
@@ -17,14 +19,7 @@ js: |
<p> |
Follow this tutorial to install and use Dart Editor on |
- <input type="radio" name="osChoices" id="win"> |
- <label class="os-choice" for="win">Windows</label>, |
- |
- <input type="radio" name="osChoices" id="linux" checked="true"> |
- <label class="os-choice" for="linux">Linux</label>, or |
- |
- <input type="radio" name="osChoices" id="mac"> |
- <label class="os-choice" for="mac">Mac</label>. |
+{% include os-choices.html %} |
</p> |
<p> |