Jeroen De Dauw has submitted this change and it was merged. Change subject: rename SelectionRequest to Selection and ThisSelection to SubjectSelection ......................................................................
rename SelectionRequest to Selection and ThisSelection to SubjectSelection Change-Id: Id64e2dc2fd86f33ed17c7f66fb592605eee33a78 --- M Ask.classes.php M Ask.mw.php M includes/language/Query.php M includes/language/description/ValueDescription.php R includes/language/selection/PropertySelection.php R includes/language/selection/Selection.php R includes/language/selection/SubjectSelection.php M tests/phpunit/language/QueryTest.php R tests/phpunit/language/selection/PropertySelectionTest.php R tests/phpunit/language/selection/SelectionTest.php R tests/phpunit/language/selection/SubjectSelectionTest.php 11 files changed, 48 insertions(+), 46 deletions(-) Approvals: John Erling Blad: Verified; Looks good to me, approved Jeroen De Dauw: -- To view, visit https://gerrit.wikimedia.org/r/48621 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id64e2dc2fd86f33ed17c7f66fb592605eee33a78 Gerrit-PatchSet: 4 Gerrit-Project: mediawiki/extensions/Ask Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Daniel Werner <[email protected]> Gerrit-Reviewer: Denny Vrandecic <[email protected]> Gerrit-Reviewer: Jens Ohlig <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: John Erling Blad <[email protected]> Gerrit-Reviewer: Tobias Gritschacher <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
