* Added exporting of user preferences
authorTrevor Parscal <tparscal@users.mediawiki.org>
Tue, 14 Sep 2010 21:48:23 +0000 (21:48 +0000)
committerTrevor Parscal <tparscal@users.mediawiki.org>
Tue, 14 Sep 2010 21:48:23 +0000 (21:48 +0000)
commit348fd983cdfa88562024bc9e9544c4ebb45436f1
treead96ac737995d2265c49d1d8138ecd364200bdcb
parent1329158215ff8559b99b24faeda5f4752885b081
* 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
resources/Resources.php
resources/mediawiki/mediawiki.js