Simple object-oriented file lock management in PHP