Addshore has uploaded a new change for review. (
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/PhpTagsStorage
refs/changes/83/396383/1
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: newchange
Gerrit-Change-Id: Ib877d69876a1e7e1e70837b6c356ba5b9a84c02a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PhpTagsStorage
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
