jenkins-bot has submitted this change and it was merged. Change subject: Check if variable is set ......................................................................
Check if variable is set Change-Id: Ie7af57f0416c3f2dee8b3dc15cf06a448984c899 --- M specials/SpecialMagic.php M specials/SpecialTranslate.php 2 files changed, 10 insertions(+), 0 deletions(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/42577 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie7af57f0416c3f2dee8b3dc15cf06a448984c899 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/Translate Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
