| Index: trunk/extensions/ReplaceText/SpecialReplaceText.php |
| — | — | @@ -71,11 +71,11 @@ |
| 72 | 72 | |
| 73 | 73 | $this->target = $wgRequest->getText( 'target' ); |
| 74 | 74 | $this->replacement = $wgRequest->getText( 'replacement' ); |
| 75 | | - $this->use_regex = ( $wgRequest->getVal( 'use_regex' ) == 1 ); |
| | 75 | + $this->use_regex = $wgRequest->getBool( 'use_regex' ); |
| 76 | 76 | $this->category = $wgRequest->getText( 'category' ); |
| 77 | 77 | $this->prefix = $wgRequest->getText( 'prefix' ); |
| 78 | | - $this->edit_pages = ( $wgRequest->getVal( 'edit_pages' ) == 1 ); |
| 79 | | - $this->move_pages = ( $wgRequest->getVal( 'move_pages' ) == 1 ); |
| | 78 | + $this->edit_pages = $wgRequest->getBool( 'edit_pages' ); |
| | 79 | + $this->move_pages = $wgRequest->getBool( 'move_pages' ); |
| 80 | 80 | $this->selected_namespaces = self::getSelectedNamespaces(); |
| 81 | 81 | |
| 82 | 82 | if ( $wgRequest->getCheck( 'continue' ) ) { |