Update URL when changing tab (#13900).
Authored by: jbbarth 2013-05-02
Parent: [r11764]
Child: [r11766]
