lock
lock copied to clipboard
Rename resources to something else
The word "resource" is not soft reserved in PHP 7. We better find some other name for it to avoid conflicts in future versions.
http://php.net/manual/en/reserved.other-reserved-words.php