Pluggable locking library for PHP with various default backends