Manual:UserOptionsManager.php