jenkins-bot has submitted this change and it was merged. Change subject: Remove unused globals ......................................................................
Remove unused globals Were no longer needed after log rewrite. Change-Id: I5a49db5680d42cd95561e42db2952a911ff1c188 --- M TranslateHooks.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified diff --git a/TranslateHooks.php b/TranslateHooks.php index fee79d8..514cb0d 100644 --- a/TranslateHooks.php +++ b/TranslateHooks.php @@ -54,7 +54,7 @@ $wgSpecialPageGroups['PageTranslationDeletePage'] = 'pagetools'; $wgAvailableRights[] = 'pagetranslation'; - global $wgLogNames, $wgLogActionsHandlers, $wgLogTypes, $wgLogHeaders; + global $wgLogActionsHandlers, $wgLogTypes; $wgLogTypes[] = 'pagetranslation'; $wgLogActionsHandlers['pagetranslation/mark'] = 'PageTranslationLogFormatter'; $wgLogActionsHandlers['pagetranslation/unmark'] = 'PageTranslationLogFormatter'; -- To view, visit https://gerrit.wikimedia.org/r/53312 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5a49db5680d42cd95561e42db2952a911ff1c188 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Translate Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits