Added a definition for the mediawiki table "user".