| |
| <select class="form-control" onchange="if (this.value) window.location.href=this.value"> |
| <option |
| value="/latest" |
| > |
| Version: master |
| </option> |
| <option |
| value="/v1_3_0/os/introduction" |
| {% if config.extra.version == "v1_3_0" %}selected="selected"{% endif %} |
| > |
| Version: 1.3.0 |
| </option> |
| <option |
| value="/v1_2_0/os/introduction" |
| {% if config.extra.version == "v1_2_0" %}selected="selected"{% endif %} |
| > |
| Version: 1.2.0 |
| </option> |
| <option |
| value="/v1_1_0/os/introduction" |
| {% if config.extra.version == "v1_1_0" %}selected="selected"{% endif %} |
| > |
| Version: 1.1.0 |
| </option> |
| <option |
| value="/v1_0_0/os/introduction" |
| {% if config.extra.version == "v1_0_0" %}selected="selected"{% endif %} |
| > |
| Version: 1.0.0 |
| </option> |
| <option |
| value="/v0_9_0/os/introduction" |
| {% if config.extra.version == "v0_9_0" %}selected="selected"{% endif %} |
| > |
| Version: 0.9.0 |
| </option> |
| </select> |