jenkins-bot has submitted this change and it was merged. Change subject: Cleaning up unused variables in the global space ......................................................................
Cleaning up unused variables in the global space Bug 47514 Change-Id: I30712b873badae98d977908c53a0d04ac0a44078 --- M Annotator.php 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: Parent5446: Looks good to me, approved jenkins-bot: Verified diff --git a/Annotator.php b/Annotator.php index 97444bf..7b019fb 100755 --- a/Annotator.php +++ b/Annotator.php @@ -46,3 +46,5 @@ $wgAPIModules['annotator-read'] = 'ApiAnnotatorRead'; $wgAPIModules['annotator-search'] = 'ApiAnnotatorSearch'; $wgAPIModules['annotator-destroy'] = 'ApiAnnotatorDestroy'; + +unset( $dir ); -- To view, visit https://gerrit.wikimedia.org/r/76250 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I30712b873badae98d977908c53a0d04ac0a44078 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Annotator Gerrit-Branch: master Gerrit-Owner: Legoktm <[email protected]> Gerrit-Reviewer: Parent5446 <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
