jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/396365 )

Change subject: PageContentSave WikiPage typehint
......................................................................


PageContentSave WikiPage typehint

Change-Id: I310efcefe99c7aa1366da7acae055aad71b42039
---
M Awesomeness.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Awesomeness.php b/Awesomeness.php
index b05b697..2680654 100644
--- a/Awesomeness.php
+++ b/Awesomeness.php
@@ -47,7 +47,7 @@
 $wgMessagesDirs['Awesomeness'] = __DIR__ . '/i18n';
 
 // And action.
-$wgHooks['PageContentSave'][] = function ( &$wikiPage, &$user, &$content, 
&$summary,
+$wgHooks['PageContentSave'][] = function ( WikiPage &$wikiPage, &$user, 
&$content, &$summary,
        $isMinor, $isWatch, $section, &$flags, &$status ) {
        $awesomeness = array( 'awesomeness', 'awesome' );
 

-- 
To view, visit https://gerrit.wikimedia.org/r/396365
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I310efcefe99c7aa1366da7acae055aad71b42039
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Awesomeness
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to