(url)
| 6571 | /* global getHash: true, stripHash: false */ |
| 6572 | |
| 6573 | function getHash(url) { |
| 6574 | var index = url.indexOf('#'); |
| 6575 | return index === -1 ? '' : url.substr(index); |
| 6576 | } |
| 6577 | |
| 6578 | function trimEmptyHash(url) { |
| 6579 | return url.replace(/#$/, ''); |