Pastakhov has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/396383 )
Change subject: WikiPageDeletionUpdates WikiPage typehint
......................................................................
WikiPageDeletionUpdates WikiPage typehint
Change-Id: Ib877d69876a1e7e1e70837b6c356ba5b9a84c02a
---
M PhpTagsStorage.hooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Pastakhov: Verified; Looks good to me, approved
Addshore: Checked
diff --git a/PhpTagsStorage.hooks.php b/PhpTagsStorage.hooks.php
index 59ef574..152baed 100644
--- a/PhpTagsStorage.hooks.php
+++ b/PhpTagsStorage.hooks.php
@@ -60,7 +60,7 @@
* @param type $content
* @param array $updates
*/
- public static function onWikiPageDeletionUpdates( $page, $content,
&$updates ) {
+ public static function onWikiPageDeletionUpdates( WikiPage $page,
$content, &$updates ) {
wfDebugLog( 'PhpTags Storage', __METHOD__ );
$titleID = $page->getTitle()->getArticleID();
// echo __METHOD__ . '( ' . $titleID . " )\n";
--
To view, visit https://gerrit.wikimedia.org/r/396383
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib877d69876a1e7e1e70837b6c356ba5b9a84c02a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PhpTagsStorage
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Pastakhov <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
