* Added exporting of user preferences
authorTrevor Parscal <tparscal@users.mediawiki.org>
Tue, 14 Sep 2010 21:47:59 +0000 (21:47 +0000)
committerTrevor Parscal <tparscal@users.mediawiki.org>
Tue, 14 Sep 2010 21:47:59 +0000 (21:47 +0000)
commit1329158215ff8559b99b24faeda5f4752885b081
tree27ebc40055e431de0c4b7206872b6315594b875e
parent55d0dfe98edbdda72e822202c37d5cdb52a331f7
* Added exporting of user preferences
* Renamed user.preferences to user.options
* Fixed bug that caused anonomous usernames (such as IP addresses) to be used in user style and script requests
* Fixed user options styles not loading for anon users
includes/AutoLoader.php
includes/OutputPage.php
includes/ResourceLoaderModule.php
includes/Skin.php