Page MenuHomePhabricator

Deprecated: Creation of dynamic properties in FlaggedRevs
Closed, ResolvedPublic

Description

Outstanding:

Deprecated: Creation of dynamic property HistoryPager::$fr_stableRevId is deprecated in /var/www/wiki/mediawiki/extensions/FlaggedRevs/frontend/FlaggedRevsUIHooks.php on line 678

Deprecated: Creation of dynamic property HistoryPager::$fr_stableRevUTS is deprecated in /var/www/wiki/mediawiki/extensions/FlaggedRevs/frontend/FlaggedRevsUIHooks.php on line 679

Deprecated: Creation of dynamic property HistoryPager::$fr_pendingRevs is deprecated in /var/www/wiki/mediawiki/extensions/FlaggedRevs/frontend/FlaggedRevsUIHooks.php on line 681

Fixed:

Deprecated: Creation of dynamic property EditPage::$fr_baseRevId is deprecated in /var/www/wiki/mediawiki/core/includes/debug/DeprecationHelper.php on line 243

Deprecated: Creation of dynamic property EditPage::$fr_altBaseRevId is deprecated in /var/www/wiki/mediawiki/core/includes/debug/DeprecationHelper.php on line 243

Event Timeline

Reedy renamed this task from Deprecated: Creation of dynamic property EditPage to Deprecated: Creation of dynamic properties on EditPage.Dec 11 2022, 4:20 PM
Reedy renamed this task from Deprecated: Creation of dynamic properties on EditPage to Deprecated: Creation of dynamic properties in FlaggedRevs.Jan 10 2023, 1:24 AM
Reedy updated the task description. (Show Details)

Change 941491 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@master] EditPage: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/941491

Change 941491 merged by jenkins-bot:

[mediawiki/core@master] EditPage: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/941491

Change 941500 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@REL1_39] EditPage: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/941500

Change 941501 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@REL1_40] EditPage: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/941501

Change 941501 merged by jenkins-bot:

[mediawiki/core@REL1_40] EditPage: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/941501

Change 941500 merged by jenkins-bot:

[mediawiki/core@REL1_39] EditPage: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/941500

There's an old pending patch that removes this, among other cleanup changes: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/FlaggedRevs/+/329649. I wonder if anyone would like to revive it?

There's an old pending patch that removes this, among other cleanup changes: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/FlaggedRevs/+/329649. I wonder if anyone would like to revive it?

Manually rebased...

Change 1013102 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@master] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013102

Change 1013102 merged by jenkins-bot:

[mediawiki/core@master] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013102

Change 1013247 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@REL1_41] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013247

Change 1013248 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@REL1_40] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013248

Change 1013249 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@REL1_39] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013249

Change 1013249 merged by jenkins-bot:

[mediawiki/core@REL1_39] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013249

Change 1013247 merged by jenkins-bot:

[mediawiki/core@REL1_41] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013247

Change 1013248 merged by jenkins-bot:

[mediawiki/core@REL1_40] HistoryPager: Add #[AllowDynamicProperties]

https://gerrit.wikimedia.org/r/1013248

There's an old pending patch that removes this, among other cleanup changes: https://gerrit.wikimedia.org/r/c/mediawiki/extensions/FlaggedRevs/+/329649. I wonder if anyone would like to revive it?

Manually rebased...

And it was merged. I guess that resolves this.