We would like to change pp_sortkey from float to double.
|mediawiki/core||master||+21 -1||Make page_props.pp_sortkey a double instead of float|
|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|
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).