Once you have added a user library in the PHP preferences
page, you must also add it to your PHP Include Path of the project in
which you would like to have it available. For more information see Configuring
a Project's PHP Include Path.