MediaWiki
REL1_34
MediaWikiVersionFetcher.php
Go to the documentation of this file.
1
<?php
2
9
class
MediaWikiVersionFetcher
{
10
17
public
function
fetchVersion
() {
18
$code = file_get_contents( __DIR__ .
'/Defines.php'
);
19
20
$matches
= [];
21
preg_match(
"/define\( 'MW_VERSION', '([0-9a-zA-Z\.\-]+)'/"
, $code,
$matches
);
22
23
if
( count(
$matches
) !== 2 ) {
24
throw
new
RuntimeException(
'Could not extract the MediaWiki version from Defines.php'
);
25
}
26
27
return
$matches
[1];
28
}
29
30
}
$matches
$matches
Definition
NoLocalSettings.php:24
MediaWikiVersionFetcher
Provides access to MediaWiki's version without requiring MediaWiki (or anything else) being loaded fi...
Definition
MediaWikiVersionFetcher.php:9
MediaWikiVersionFetcher\fetchVersion
fetchVersion()
Get the MediaWiki version, extracted from the PHP source file where it is defined.
Definition
MediaWikiVersionFetcher.php:17
includes
MediaWikiVersionFetcher.php
Generated on Fri Apr 5 2024 23:10:17 for MediaWiki by
1.9.8