diff options
| author | Timo Tijhof <krinklemail@gmail.com> | 2020-02-25 01:28:12 +0000 |
|---|---|---|
| committer | Krinkle <krinklemail@gmail.com> | 2020-02-25 01:55:21 +0000 |
| commit | a5d5ea82cad38a67b31e52fe471a978f09ae6069 (patch) | |
| tree | 469223d4a02bf3d1e71baf006e7d5324fb1bf92a /includes/http/HttpRequestFactory.php | |
| parent | 7f637d3b4a4fc8f6203d91570597efef7cf0646d (diff) | |
| download | mediawikicore-a5d5ea82cad38a67b31e52fe471a978f09ae6069.tar.gz mediawikicore-a5d5ea82cad38a67b31e52fe471a978f09ae6069.zip | |
Provide MW_VERSION and deprecate fake global $wgVersion
$wgVersion is not a configuration variable, it should never be
changed at run-time.
While we've gone in the route of class constants for most constants,
this one will not benefit from class-autoloading since it needs to
be present from the very beginning.
MW_VERSION is named similarly as PHP_VERSION, and $wgVersion is
now soft-deprecated.
Bug: T212738
Change-Id: I04628de4152dd5c72646813e08ff35e422e265a4
Diffstat (limited to 'includes/http/HttpRequestFactory.php')
0 files changed, 0 insertions, 0 deletions