diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
| commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
| tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /includes/specials/SpecialEditWatchlist.php | |
| parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) | |
Update to MediaWiki 1.26.0
Diffstat (limited to 'includes/specials/SpecialEditWatchlist.php')
| -rw-r--r-- | includes/specials/SpecialEditWatchlist.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/includes/specials/SpecialEditWatchlist.php b/includes/specials/SpecialEditWatchlist.php index 910fe259..74662aec 100644 --- a/includes/specials/SpecialEditWatchlist.php +++ b/includes/specials/SpecialEditWatchlist.php @@ -102,7 +102,7 @@ class SpecialEditWatchlist extends UnlistedSpecialPage { case self::EDIT_NORMAL: default: - $this->executeViewEditWatchlist(); + $this->executeViewEditWatchlist(); break; } } @@ -299,7 +299,9 @@ class SpecialEditWatchlist extends UnlistedSpecialPage { */ private function getWatchlist() { $list = array(); - $dbr = wfGetDB( DB_MASTER ); + + $index = $this->getRequest()->wasPosted() ? DB_MASTER : DB_SLAVE; + $dbr = wfGetDB( $index ); $res = $dbr->select( 'watchlist', @@ -312,6 +314,7 @@ class SpecialEditWatchlist extends UnlistedSpecialPage { ); if ( $res->numRows() > 0 ) { + /** @var Title[] $titles */ $titles = array(); foreach ( $res as $row ) { $title = Title::makeTitleSafe( $row->wl_namespace, $row->wl_title ); |