| Index: trunk/extensions/Push/includes/Push_Tab.php |
| — | — | @@ -134,11 +134,6 @@ |
| 135 | 135 | self::displayPushList(); |
| 136 | 136 | } |
| 137 | 137 | |
| 138 | | - if ( $wgUser->isAllowed( 'pushadmin' ) ) { |
| 139 | | - // TODO |
| 140 | | - //self::displayNewPushItem(); |
| 141 | | - } |
| 142 | | - |
| 143 | 138 | return false; |
| 144 | 139 | } |
| 145 | 140 | |
| — | — | @@ -190,7 +185,7 @@ |
| 191 | 186 | ) . |
| 192 | 187 | Html::element( |
| 193 | 188 | 'th', |
| 194 | | - array(), |
| | 189 | + array( 'style' => 'min-width:400px;' ), |
| 195 | 190 | wfMsg( 'push-remote-pages' ) |
| 196 | 191 | ) . |
| 197 | 192 | Html::element( |
| — | — | @@ -296,27 +291,6 @@ |
| 297 | 292 | ) |
| 298 | 293 | ) |
| 299 | 294 | ); |
| 300 | | - |
| 301 | | - // TODO: add edit and delete stuff |
| 302 | 295 | } |
| 303 | 296 | |
| 304 | | - /** |
| 305 | | - * Displays a form via which a new push item can be added. |
| 306 | | - * |
| 307 | | - * @since 0.1 |
| 308 | | - */ |
| 309 | | - protected static function displayNewPushItem() { |
| 310 | | - global $wgOut; |
| 311 | | - |
| 312 | | - $wgOut->addHtml( |
| 313 | | - Html::element( |
| 314 | | - 'h2', |
| 315 | | - array(), |
| 316 | | - wfMsg( 'push-add-target' ) |
| 317 | | - ) |
| 318 | | - ); |
| 319 | | - |
| 320 | | - // TODO |
| 321 | | - } |
| 322 | | - |
| 323 | 297 | } |
| \ No newline at end of file |