| Index: trunk/phase3/includes/Article.php |
| — | — | @@ -2263,9 +2263,9 @@ |
| 2264 | 2264 | $wgOut->addHTML( '<h2>' . htmlspecialchars( $newComment ) . "</h2>\n<hr />\n" ); |
| 2265 | 2265 | |
| 2266 | 2266 | $flags = EDIT_UPDATE | EDIT_MINOR; |
| 2267 | | - if($bot) |
| | 2267 | + if( $bot ) |
| 2268 | 2268 | $flags |= EDIT_FORCE_BOT; |
| 2269 | | - if(!$this->doEdit( $target->getText(), $newComment, $flags)) |
| | 2269 | + if( !$this->doEdit( $target->getText(), $newComment, $flags ) ) |
| 2270 | 2270 | ; # todo: this error case has not been handled? Use db transactions? |
| 2271 | 2271 | |
| 2272 | 2272 | $wgOut->returnToMain( false ); |