Index: trunk/phase3/includes/Skin.php |
— | — | @@ -330,7 +330,6 @@ |
331 | 331 | |
332 | 332 | /** |
333 | 333 | * Some styles that are set by user through the user settings interface. |
334 | | - * @todo undefined variables (bug #4940) |
335 | 334 | */ |
336 | 335 | function doGetUserStyles() { |
337 | 336 | global $wgUser, $wgUser, $wgRequest, $wgTitle, $wgAllowUserCss; |
— | — | @@ -338,8 +337,7 @@ |
339 | 338 | $s = ''; |
340 | 339 | |
341 | 340 | if( $wgAllowUserCss && $wgUser->isLoggedIn() ) { # logged in |
342 | | - # FIXME: $action undefined, bug #4940 |
343 | | - if($wgTitle->isCssSubpage() && $this->userCanPreview( $action ) ) { |
| 341 | + if($wgTitle->isCssSubpage() && $this->userCanPreview( $wgRequest->getText( 'action' ) ) ) { |
344 | 342 | $s .= $wgRequest->getText('wpTextbox1'); |
345 | 343 | } else { |
346 | 344 | $userpage = $wgUser->getUserPage(); |