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)
commit224904160e1e744de3fa4d9e95ae37c22be55f9e
treec0b6f78f30e976a7eb4e352fd23fb66e35a688f4
parent8d6d173704b3f033fded756b789b86421b05b8e7
parenta0246f5fac8f96908d09355edaefe906df80a673
Merge pull request #25462 from demeritcowboy/number

dev/core#4097 - Add deprecation notice as per comments at #25448