Last modified: 2014-11-18 21:03:43 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T74334, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
Bug 72334 - mediawiki.Uri: Default URI not updated after pushState
mediawiki.Uri: Default URI not updated after pushState
Status: NEW
Product: MediaWiki
Classification: Unclassified
JavaScript (Other open bugs)
1.25-git
All All
: High normal (vote)
: 1.25.0 release
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2014-10-21 21:44 UTC by Roan Kattouw
Modified: 2014-11-18 21:03 UTC (History)
3 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Roan Kattouw 2014-10-21 21:44:24 UTC 
>>> new mw.Uri().toString()
"http://127.0.0.1/wiki/Main_Page"
>>> window.history.pushState({}, document.title, 'http://127.0.0.1/foo')
undefined
>>> window.location.href
"http://127.0.0.1/foo"
>>> new mw.Uri().toString()
"http://127.0.0.1/wiki/Main_Page"


WTF?

Seems to be because defaultUri is cached once and used forever in the mw.Uri constructor.
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links