wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-17 18:40:45 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Replace use of old $wgVersion constant with MW_VERSION"

Browse source
This commit is contained in:
jenkins-bot 2020-05-13 22:16:53 +00:00 committed by Gerrit Code Review
parent b38a83c670 4551332586
commit b2f709e5ff
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -13,7 +13,7 @@
"license-name": "GPL-2.0-or-later",
"type": "editor",
"requires": {
"MediaWiki": ">= 1.34.0"
"MediaWiki": ">= 1.34.1"
},
"MessagesDirs": {
"WikiEditor": [

4
includes/WikiEditorHooks.php
View file

@ -27,7 +27,7 @@ class WikiEditorHooks {
* @return bool Whether the event was logged or not.
*/
public static function doEventLogging( $action, $article, $data = [] ) {
global $wgVersion, $wgWMESchemaEditAttemptStepSamplingRate;
global $wgWMESchemaEditAttemptStepSamplingRate;
$extensionRegistry = ExtensionRegistry::getInstance();
if ( !$extensionRegistry->isLoaded( 'EventLogging' ) ) {
return false;
@ -61,7 +61,7 @@ class WikiEditorHooks {
'revision_id' => $revisionRecord ? $revisionRecord->getId() : 0,
'user_id' => $user->getId(),
'user_editcount' => $user->getEditCount() ?: 0,
'mw_version' => $wgVersion,
'mw_version' => MW_VERSION,
] + $data;
if ( $user->isAnon() ) {