Jeroen De Dauw has uploaded a new change for review. Change subject: Fix check to see if element is there already. ......................................................................
Fix check to see if element is there already. PHP docs disagree with reality when it comes to return type of offsetGet, so switching to offsetExists. Issue spotted by Brad Jorsch Change-Id: Ia9fe49c71473c4eb7975d2acd3d01a800c516618 --- M lib/includes/HashArray.php M lib/includes/claim/ClaimList.php 2 files changed, 8 insertions(+), 8 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase refs/changes/38/37638/1 -- To view, visit https://gerrit.wikimedia.org/r/37638 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ia9fe49c71473c4eb7975d2acd3d01a800c516618 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
