wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 19:08:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove unused variable

Browse source 
Change-Id: Ia4ad464b765c67aea27092a161d28ad1d890e96a
This commit is contained in:
Bartosz Dziewoński 2021-04-19 21:07:44 +02:00 committed by Esanders
parent 69fc17db81
commit 1957c340b9
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/Hooks/PageHooks.php
View file

@ -128,7 +128,6 @@ class PageHooks implements
$subscriptionStore = $this->subscriptionStore;
$doc = new DOMDocument();
$user = $output->getUser();
$title = $output->getTitle();
$text = preg_replace_callback(
'/<!--__DTSUBSCRIBE__(.*)-->/',
function ( $matches ) use ( $doc, $subscriptionStore, $user ) {