GlobalFunctions: Tighten version number type for wfDeprecated()
authorDerick Alangi <alangiderick@gmail.com>
Wed, 15 May 2019 14:24:46 +0000 (15:24 +0100)
committerD3r1ck01 <xsavitar.wiki@aol.com>
Mon, 1 Jul 2019 21:07:10 +0000 (21:07 +0000)
commit49bbfc7f1f184c2a22b0919a16b6c9dcac2e7536
treed6ed8c7906ed78a8c35235ae6ba3c0175ce8526d
parent620f7138839809e70ee148babf7b13e43bd74a0d
GlobalFunctions: Tighten version number type for wfDeprecated()

To avoid cases like: facddc4 and Ifaf6ab0d36bc02bd170, make sure the
value of the mediawiki version  must be a string (e.g. '1.33') or a
boolean (e.g. `false`).

For some reason, typos can slip through for this value to be a float.
Let's safe guard for future cases like this.

Change-Id: I52bdf94c957bda67548a937d51649e925195f926
includes/GlobalFunctions.php
tests/phpunit/includes/debug/DeprecationHelperTest.php