function writeVersionDropdown() {
  /* Placeholder function not used for local docs */
}