Eloy Lafuente (stronk7) f4feabb83f MDL-66968 php74: array_key_exists() for objects is deprecated ... Replace it for correct property_exists() when the element being inspected is a property of object/class. Amended and squased changes: - keep mongo unmodified. The information is array, hence correct. - fix a couple of messaging phpdocs that were incorrect. Amended take#2: - As far as mongo resturns BSONDocument that is ArrayObject, aka implements ArrayAccess, we have decided to explicitly cast results to array so existing array_key_exists() and other accesses will continue working the same.		2019-10-25 00:49:04 +02:00
..
classes	MDL-66968 php74: array_key_exists() for objects is deprecated	2019-10-25 00:49:04 +02:00
tests	MDL-65968 notifications: Use f1 size avatars for Push notifications	2019-09-17 16:29:02 +02:00
lib.php	MDL-65968 notifications: Use f1 size avatars for Push notifications	2019-09-17 16:29:02 +02:00
upgrade.txt	MDL-63876 badges: Coding style	2019-03-29 11:31:15 +08:00