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: I4ce1651d4ed681ab55cf297090ee963b64584bbf --- M includes/site/SiteArray.php 1 file changed, 5 insertions(+), 5 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/37/37637/1 -- To view, visit https://gerrit.wikimedia.org/r/37637 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I4ce1651d4ed681ab55cf297090ee963b64584bbf Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
