Manual:userOptions.inc

Other languages:

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