jenkins-bot has submitted this change and it was merged.
Change subject: Removing deprecated hook parameter
......................................................................
Removing deprecated hook parameter
See change I1dddfa7771c7063ec319fa441c2e400a374abc92
Change-Id: I29965923be4037c73460e425f5e7684853ffc321
---
M WikimediaMessages.php
1 file changed, 1 insertion(+), 3 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/WikimediaMessages.php b/WikimediaMessages.php
index 1b5ccb4..54e239e 100644
--- a/WikimediaMessages.php
+++ b/WikimediaMessages.php
@@ -41,10 +41,9 @@
* @param $type string
* @param $msg string
* @param $link
- * @param $forContent bool
* @return bool
*/
- $wgHooks['SkinCopyrightFooter'][] = function( $title, $type,
&$msg, &$link, &$forContent ) {
+ $wgHooks['SkinCopyrightFooter'][] = function( $title, $type,
&$msg, &$link ) {
if ( $type !== 'history' ) {
global $wgDBname;
if ( in_array( $wgDBname, array(
'wikidatawiki', 'testwikidatawiki' ) ) ) {
@@ -52,7 +51,6 @@
} else {
$msg = 'wikimedia-copyright'; // the
default;
}
- $forContent = false;
}
return true;
--
To view, visit https://gerrit.wikimedia.org/r/155588
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I29965923be4037c73460e425f5e7684853ffc321
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaMessages
Gerrit-Branch: master
Gerrit-Owner: Kaldari <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits