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