| Index: trunk/extensions/WebDAV/WebDavServer.php |
| — | — | @@ -334,8 +334,7 @@ |
| 335 | 335 | } |
| 336 | 336 | } |
| 337 | 337 | |
| 338 | | - $mediaWiki = new MediaWiki(); |
| 339 | | - $article = $mediaWiki->articleFromTitle( $title ); |
| | 338 | + $article = MediaWiki::articleFromTitle( $title ); |
| 340 | 339 | |
| 341 | 340 | $rawPage = new RawPage( $article ); |
| 342 | 341 | |
| — | — | @@ -396,8 +395,7 @@ |
| 397 | 396 | $title = Title::newMainPage(); |
| 398 | 397 | } |
| 399 | 398 | |
| 400 | | - $mediaWiki = new MediaWiki(); |
| 401 | | - $article = $mediaWiki->articleFromTitle( $title ); |
| | 399 | + $article = MediaWiki::articleFromTitle( $title ); |
| 402 | 400 | |
| 403 | 401 | # Must check if article exists to avoid 500 Internal Server Error |
| 404 | 402 | |
| — | — | @@ -436,8 +434,7 @@ |
| 437 | 435 | return; |
| 438 | 436 | } |
| 439 | 437 | |
| 440 | | - $mediaWiki = new MediaWiki(); |
| 441 | | - $article = $mediaWiki->articleFromTitle( $title ); |
| | 438 | + $article = MediaWiki::articleFromTitle( $title ); |
| 442 | 439 | |
| 443 | 440 | if ( ( $handle = $this->openRequestBody() ) === false ) { |
| 444 | 441 | return; |