Jeroen De Dauw has submitted this change and it was merged. Change subject: Add optional original name and value args to constructor ......................................................................
Add optional original name and value args to constructor Change-Id: Id881449d0683df073b37cc1807c7b45348c2a270 --- M includes/ParamProcessor/ProcessedParam.php 1 file changed, 5 insertions(+), 2 deletions(-) Approvals: Jeroen De Dauw: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/includes/ParamProcessor/ProcessedParam.php b/includes/ParamProcessor/ProcessedParam.php index f21194e..c8c936c 100644 --- a/includes/ParamProcessor/ProcessedParam.php +++ b/includes/ParamProcessor/ProcessedParam.php @@ -71,12 +71,15 @@ * @param string $name * @param mixed $value * @param boolean $wasSetToDefault + * @param string|null $originalName + * @param mixed $originalValue */ - public function __construct( $name, $value, $wasSetToDefault ) { + public function __construct( $name, $value, $wasSetToDefault, $originalName = null, $originalValue = null ) { $this->name = $name; $this->value = $value; $this->wasSetToDefault = $wasSetToDefault; - + $this->originalName = $originalName; + $this->originalValue = $originalValue; } /** -- To view, visit https://gerrit.wikimedia.org/r/86641 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id881449d0683df073b37cc1807c7b45348c2a270 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Validator Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: Jeroen De Dauw <jeroended...@gmail.com> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits