Nikerabbit has submitted this change and it was merged. Change subject: Minor JS updates. ......................................................................
Minor JS updates. Change-Id: Idfcfa33198c59858078a2ca86d71d368c0bd0700 --- M modules/ext.wikihiero.Special.js 1 file changed, 6 insertions(+), 5 deletions(-) Approvals: Amire80: Looks good to me, but someone else must approve Nikerabbit: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/25616 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idfcfa33198c59858078a2ca86d71d368c0bd0700 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/wikihiero Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: Amire80 <amir.ahar...@mail.huji.ac.il> Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
