wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 01:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Do not send notifications for page links when the page is a redirect

Browse source 
Bug: 48045
Change-Id: Ib61574732bde3f7a8aeec4a33a379cc3d1aab60b
This commit is contained in:
Krenair 2013-05-03 17:30:29 +01:00
parent 17ff356648
commit 9e2b948b66
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Hooks.php
View file

@ -531,6 +531,10 @@ class EchoHooks {
foreach ( $insertions as $key => $page ) {
if ( MWNamespace::isContent( $page['pl_namespace'] ) ) {
$title = Title::makeTitle( $page['pl_namespace'], $page['pl_title'] );
if ( $title->isRedirect() ) {
continue;
}
EchoEvent::create( array(
'type' => 'page-linked',
'title' => $title,