Merge pull request #25462 from demeritcowboy/number
authorEileen McNaughton <emcnaughton@wikimedia.org>
Mon, 30 Jan 2023 20:54:06 +0000 (09:54 +1300)
committerGitHub <noreply@github.com>
Mon, 30 Jan 2023 20:54:06 +0000 (09:54 +1300)
dev/core#4097 - Add deprecation notice as per comments at #25448


Trivial merge