A PHP class extending PDO_Manager to manage users. ユーザーを管理するためのPDO_Manager拡張PHPクラス。