| Index: trunk/phase3/skins/Vector.php |
| — | — | @@ -430,11 +430,11 @@ |
| 431 | 431 | <?php if ( $wgVectorUseSimpleSearch && $this->getSkin()->getUser()->getOption( 'vector-simplesearch' ) ): ?> |
| 432 | 432 | <div id="simpleSearch"> |
| 433 | 433 | <?php if ( $this->data['rtl'] ): ?> |
| 434 | | - <?php echo $this->makeSearchButton( 'image', array( 'id' => 'searchButton', 'src' => $this->getSkin()->getSkinStylePath( 'images/search-rtl.png' ) ) ); ?> |
| | 434 | + <?php echo $this->makeSearchButton( 'image', array( 'id' => 'searchButton', 'src' => $this->getSkin()->getSkinStylePath( 'images/search-rtl.png' ), 'width' => '12', 'height' => '13' ) ); ?> |
| 435 | 435 | <?php endif; ?> |
| 436 | 436 | <?php echo $this->makeSearchInput( array( 'id' => 'searchInput', 'type' => 'text' ) ); ?> |
| 437 | 437 | <?php if ( !$this->data['rtl'] ): ?> |
| 438 | | - <?php echo $this->makeSearchButton( 'image', array( 'id' => 'searchButton', 'src' => $this->getSkin()->getSkinStylePath( 'images/search-ltr.png' ) ) ); ?> |
| | 438 | + <?php echo $this->makeSearchButton( 'image', array( 'id' => 'searchButton', 'src' => $this->getSkin()->getSkinStylePath( 'images/search-ltr.png' ), 'width' => '12', 'height' => '13' ) ); ?> |
| 439 | 439 | <?php endif; ?> |
| 440 | 440 | <?php else: ?> |
| 441 | 441 | <div> |