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

Change subject: Added temporary fix to ParamDefinition::getAllowedValues and 
removed ParameterInput
......................................................................


Added temporary fix to ParamDefinition::getAllowedValues and removed 
ParameterInput

Change-Id: I5f083195fbe4df690e71a2b28490580b921e2bf2
---
M ParamProcessor.php
M includes/ParamDefinition.php
D utils/ParameterInput.php
3 files changed, 13 insertions(+), 264 deletions(-)

Approvals:
  Jeroen De Dauw: Verified; Looks good to me, approved
  jenkins-bot: Checked


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

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

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

Reply via email to