Manual:UserOptions.inc

userOptions.inc is a helper file for the userOptions.php file.