Krinkle has submitted this change and it was merged.

Change subject: Prevent creation of Gadget definition: pages with invalid 
Gadget IDs
......................................................................


Prevent creation of Gadget definition: pages with invalid Gadget IDs

Change-Id: I5f83913a798cf92b64b8d8b300d664110fc35500
---
M Gadgets.hooks.php
M Gadgets.i18n.php
2 files changed, 5 insertions(+), 0 deletions(-)

Approvals:
  Krinkle: Verified; Looks good to me, approved


--
To view, visit https://gerrit.wikimedia.org/r/9396
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I5f83913a798cf92b64b8d8b300d664110fc35500
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Gadgets
Gerrit-Branch: RL2
Gerrit-Owner: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: Catrope <roan.katt...@gmail.com>
Gerrit-Reviewer: Krinkle <ttij...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to