diff php/pool.php @ 2714:52224b9d6e8b

Undefined vs null conditional checks in core.js
author Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
date Fri, 14 Apr 2017 16:04:05 +0100
parents 464c6c6692d6
children 53d701288da5
line wrap: on
line diff