From 396b28f3d881f5debd888ba9bb9b47c2d478a76f Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Mon, 15 Dec 2008 18:02:47 +0100 Subject: update to Mediawiki 1.13.3; some cleanups --- docs/.htaccess | 1 - docs/user.txt | 63 ---------------------------------------------------------- 2 files changed, 64 deletions(-) delete mode 100644 docs/.htaccess delete mode 100644 docs/user.txt (limited to 'docs') diff --git a/docs/.htaccess b/docs/.htaccess deleted file mode 100644 index b63d4018..00000000 --- a/docs/.htaccess +++ /dev/null @@ -1 +0,0 @@ -Deny from All diff --git a/docs/user.txt b/docs/user.txt deleted file mode 100644 index 3f1c8202..00000000 --- a/docs/user.txt +++ /dev/null @@ -1,63 +0,0 @@ - -user.txt - -Documenting the MediaWiki User object. - -(DISCLAIMER: The documentation is not guaranteed to be in sync with -the code at all times. If in doubt, check the table definitions -and User.php.) - -Database fields: - - user_id - Unique integer identifier; primary key. Sent to user in - cookie "{$wgDBname}UserID". - - user_name - Text of full user name; title of "user:" page. Displayed - on change lists, etc. Sent to user as cookie "{$wgDBname}UserName". - Note that user names can contain spaces, while these are - converted to underscores in page titles. - - user_rights - Comma-separated list of rights. Right now, only "sysop", - "developer", "bureaucrat", and "bot" have meaning. - - user_password - Salted md5 hash of md5-hashed user login password. If user option to - remember password is set, an md5 password hash is stored in cookie - "{$wgDBname}UserPassword". The original password and the hashed password - can be compared to the salted-hashed-hashed password. - - user_newpassword - Hash for randomly generated password sent on 'send me a new password'. - If a match is made on login, the new password will replace the old one. - - user_email - User's e-mail address. (Optional, used for user-to-user - e-mail and password recovery.) - - user_options - A urlencoded string of name=value pairs to set various - user options. - - user_touched - Timestamp updated when the user logs in, changes preferences, alters - watchlist, or when someone edits their user talk page or they clear - the new-talk field by viewing it. Used to invalidate old cached pages - from the user's browser cache. - - user_real_name - "Real name" optionally used in some metadata lists. - -The user object encapsulates all of the settings, and clients -classes use the getXXX() functions to access them. These functions -do all the work of determining whether the user is logged in, -whether the requested option can be satisfied from cookies or -whether a database query is needed. Most of the settings needed -for rendering normal pages are set in the cookie to minimize use -of the database. - -Options - The user_options field is a list of name-value pairs. The - following option names are used at various points in the system: -- cgit v1.2.2