wikimedia/mediawiki-extensions-RelatedArticles
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RelatedArticles synced 2024-11-23 15:57:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Drop MobileDiff check"

Browse source
This commit is contained in:
jenkins-bot 2024-04-09 15:57:21 +00:00 committed by Gerrit Code Review
parent 16354a3b92 b219d6fb5d
commit 886606fdc5
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/Hooks.php
View file

@ -79,9 +79,8 @@ class Hooks implements
$type = $request->getRawVal( 'type' );
$diff = $request->getCheck( 'diff' );
$oldId = $request->getCheck( 'oldid' );
$isSpecialMobileDiff = $context->getTitle()->isSpecial( 'MobileDiff' );
return $type === 'revision' || $diff || $oldId || $isSpecialMobileDiff;
return $type === 'revision' || $diff || $oldId;
}
/**