Jeroen De Dauw has submitted this change and it was merged.

Change subject: Moved ParameterInput from Validator and made various fixes to 
make it work with latest Validator
......................................................................


Moved ParameterInput from Validator and made various fixes to make it work with 
latest Validator

Change-Id: Ic8033f9d23f0974641c94db7a65e2a6992935986
---
A includes/ParameterInput.php
M includes/SMW_Setup.php
M specials/AskSpecial/SMW_QuerySpecialPage.php
3 files changed, 272 insertions(+), 3 deletions(-)

Approvals:
  Jeroen De Dauw: Verified; Looks good to me, approved


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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic8033f9d23f0974641c94db7a65e2a6992935986
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SemanticMediaWiki
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Jeroen De Dauw <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to