Fixed tab menu history manipulation

diff --git a/wcfsetup/install/files/js/WCF.js b/wcfsetup/install/files/js/WCF.js
index b666b3314d3c5719856c5dc210599b2ba27cc402..6c62c554fcdc4f678294a5c0daabdf50e78f932d 100755 (executable)
--- a/wcfsetup/install/files/js/WCF.js
+++ b/wcfsetup/install/files/js/WCF.js
@@ -3317,7 +3317,12 @@ WCF.TabMenu = {
                                        
                                        // set panel id as location hash
                                        if (WCF.TabMenu._didInit) {
-                                               location.hash = '#' + $panel.attr('id');
+                                               if (window.history) {
+                                                       window.history.pushState(null, document.title, window.location.toString().replace(/#.+$/, '') + '#' + $panel.attr('id'));
+                                               }
+                                               else {
+                                                       location.hash = '#' + $panel.attr('id');
+                                               }
                                        }
                                        
                                        //$container.trigger('tabsbeforeactivate', event, eventData);