(url)
| 6506 | /* global getHash: true, stripHash: false */ |
| 6507 | |
| 6508 | function getHash(url) { |
| 6509 | var index = url.indexOf('#'); |
| 6510 | return index === -1 ? '' : url.substr(index); |
| 6511 | } |
| 6512 | |
| 6513 | function trimEmptyHash(url) { |
| 6514 | return url.replace(/#$/, ''); |