Page’s title is not the same as page’s label after editing
Closed, ResolvedPublic
Actions

Assigned To

None

Authored By

	Ltrlg
	Oct 31 2012, 6:11 PM

Description

I think changing the page’s label should change the page’s title (in local script)

Version: unspecified
Severity: normal

Details

Reference: bz41598

Event Timeline

• bzimport raised the priority of this task from to Needs Triage.Nov 22 2014, 12:59 AM

• bzimport added a project: MediaWiki-extensions-WikibaseRepository.

• bzimport set Reference to bz41598.

• bzimport added a subscriber: Unknown Object (MLST).

Ltrlg created this task.Oct 31 2012, 6:11 PM

Am I understanding the bug correctly: when the label is beign edited, the title in the Browsertitle is not updated immeadiately (i.e. the title from the head section), but only when the page is being refreshed?

Submitted a fix here https://gerrit.wikimedia.org/r/#/c/32364/

Yes, that’s what I wanted to say.

Thank you for the fix.

(In reply to comment #2)

Submitted a fix here https://gerrit.wikimedia.org/r/#/c/32364/

Status Merged

Bug 42346 has been marked as a duplicate of this bug. ***

Luke081515 removed a subscriber: • wikibugs-l-list.Jan 28 2016, 6:11 PM

Restricted Application added a project: Wikidata. · View Herald TranscriptJan 28 2016, 6:11 PM

Restricted Application added a subscriber: StudiesWorld. · View Herald Transcript

Page’s title is not the same as page’s label after editingClosed, ResolvedPublicActions

Description

Details

Event Timeline

Page’s title is not the same as page’s label after editing
Closed, ResolvedPublic
Actions