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

Merge "Replace usage of deprecated Page in favor of WikiPage/Article"

Browse source
This commit is contained in:
jenkins-bot 2020-03-04 22:44:47 +00:00 committed by Gerrit Code Review
parent 9342292e99 b6b2c3dfdb
commit d595a4f478
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
includes/ThanksHooks.php
View file

@ -167,11 +167,11 @@ class ThanksHooks {
/**
* Handler for PageHistoryBeforeList hook.
* @see https://www.mediawiki.org/wiki/Manual:Hooks/PageHistoryBeforeList
* @param WikiPage|Article|ImagePage|CategoryPage|Page &$page The page for which the history
* is loading.
*
* @param WikiPage|Article|ImagePage|CategoryPage $page Not used
* @param RequestContext $context RequestContext object
*/
public static function onPageHistoryBeforeList( &$page, $context ) {
public static function onPageHistoryBeforeList( $page, $context ) {
if ( $context->getUser()->isLoggedIn() ) {
static::addThanksModule( $context->getOutput() );
}