dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge "Add DeleteUnknownPreferences hook"
[lhc/web/wiklou.git]
/
includes
/
MediaWikiVersionFetcher.php
diff --git
a/includes/MediaWikiVersionFetcher.php
b/includes/MediaWikiVersionFetcher.php
index
c3fb486
..
913ae9a
100644
(file)
--- a/
includes/MediaWikiVersionFetcher.php
+++ b/
includes/MediaWikiVersionFetcher.php
@@
-4,7
+4,6
@@
* Provides access to MediaWiki's version without requiring MediaWiki (or anything else)
* being loaded first.
*
* Provides access to MediaWiki's version without requiring MediaWiki (or anything else)
* being loaded first.
*
- * @licence GNU GPL v2+
* @author Jeroen De Dauw < jeroendedauw@gmail.com >
*/
class MediaWikiVersionFetcher {
* @author Jeroen De Dauw < jeroendedauw@gmail.com >
*/
class MediaWikiVersionFetcher {
@@
-18,7
+17,7
@@
class MediaWikiVersionFetcher {
public function fetchVersion() {
$defaultSettings = file_get_contents( __DIR__ . '/DefaultSettings.php' );
public function fetchVersion() {
$defaultSettings = file_get_contents( __DIR__ . '/DefaultSettings.php' );
- $matches =
array()
;
+ $matches =
[]
;
preg_match( "/wgVersion = '([0-9a-zA-Z\.\-]+)';/", $defaultSettings, $matches );
if ( count( $matches ) !== 2 ) {
preg_match( "/wgVersion = '([0-9a-zA-Z\.\-]+)';/", $defaultSettings, $matches );
if ( count( $matches ) !== 2 ) {