/**
* Some styles that are set by user through the user settings interface.
- * @todo undefined variables (bug #4940)
*/
function doGetUserStyles() {
global $wgUser, $wgUser, $wgRequest, $wgTitle, $wgAllowUserCss;
$s = '';
if( $wgAllowUserCss && $wgUser->isLoggedIn() ) { # logged in
- # FIXME: $action undefined, bug #4940
- if($wgTitle->isCssSubpage() && $this->userCanPreview( $action ) ) {
+ if($wgTitle->isCssSubpage() && $this->userCanPreview( $wgRequest->getText( 'action' ) ) ) {
$s .= $wgRequest->getText('wpTextbox1');
} else {
$userpage = $wgUser->getUserPage();