Page properties: Change pp_sortkey from float to double
Closed, DeclinedPublic
Actions

Assigned To

Authored By

	• Mattflaschen-WMF
	Jul 29 2015, 5:44 PM

Description

We would like to change pp_sortkey from float to double.

	Subject	Repo	Branch	Lines +/-
	Make page_props.pp_sortkey a double instead of float	mediawiki/core	master	+21 -1

		Status	Subtype	Assigned	Task
		Invalid		None	T51188 [DO NOT USE] Schema changes for Wikimedia wikis (tracking) [superseded by #Blocked-on-schema-change]
		Declined		matthiasmullie	T107323 Page properties: Change pp_sortkey from float to double

• Mattflaschen-WMF raised the priority of this task from to Needs Triage.

Change 223552 had a related patch set uploaded (by Mattflaschen):
Make page_props.pp_sortkey a double instead of float

Change 223552 abandoned by Matthias Mullie:
Make page_props.pp_sortkey a double instead of float

Do we still want to?

Reedy changed the task status from Open to Stalled.Apr 26 2017, 2:30 PM

Krinkle renamed this task from Change pp_sortkey from float to double to Page properties: Change pp_sortkey from float to double.May 4 2017, 1:27 AM

The previous comments don't explain what/who exactly this task is stalled on ("If a report is waiting for further input (e.g. from its reporter or a third party) and can currently not be acted on"). Hence resetting task status. This task should either be declined (if not wanted), or resolved (@matthiasmullie is set as task assignee).

There is no use case for this change anymore, so it’s not worth pursuing