| Index: trunk/phase3/includes/diff/DifferenceEngine.php |
| — | — | @@ -30,10 +30,6 @@ |
| 31 | 31 | var $mCacheHit = false; // Was the diff fetched from cache? |
| 32 | 32 | var $htmldiff; |
| 33 | 33 | |
| 34 | | - // If true, line X is not displayed when X is 1, for example to increase |
| 35 | | - // readability and conserve space with many small diffs. |
| 36 | | - protected $mReducedLineNumbers = false; |
| 37 | | - |
| 38 | 34 | protected $unhide = false; |
| 39 | 35 | /**#@-*/ |
| 40 | 36 | |
| — | — | @@ -84,10 +80,6 @@ |
| 85 | 81 | $this->unhide = $unhide; |
| 86 | 82 | } |
| 87 | 83 | |
| 88 | | - function setReducedLineNumbers( $value = true ) { |
| 89 | | - $this->mReducedLineNumbers = $value; |
| 90 | | - } |
| 91 | | - |
| 92 | 84 | function getTitle() { |
| 93 | 85 | return $this->mTitle; |
| 94 | 86 | } |
| — | — | @@ -645,16 +637,10 @@ |
| 646 | 638 | */ |
| 647 | 639 | function showDiffStyle() { |
| 648 | 640 | global $wgStylePath, $wgStyleVersion, $wgOut; |
| 649 | | - |
| 650 | | - static $styleDone = false; |
| 651 | | - if ( $styleDone === $wgOut ) return; |
| 652 | | - |
| 653 | 641 | $wgOut->addStyle( 'common/diff.css' ); |
| 654 | 642 | |
| 655 | 643 | // JS is needed to detect old versions of Mozilla to work around an annoyance bug. |
| 656 | 644 | $wgOut->addScript( "<script type=\"text/javascript\" src=\"$wgStylePath/common/diff.js?$wgStyleVersion\"></script>" ); |
| 657 | | - |
| 658 | | - $styleDone = $wgOut; |
| 659 | 645 | } |
| 660 | 646 | |
| 661 | 647 | /** |
| — | — | @@ -856,7 +842,6 @@ |
| 857 | 843 | |
| 858 | 844 | function localiseLineNumbersCb( $matches ) { |
| 859 | 845 | global $wgLang; |
| 860 | | - if ( $matches[1] === '1' && $this->mReducedLineNumbers ) return ''; |
| 861 | 846 | return wfMsgExt( 'lineno', 'escape', $wgLang->formatNum( $matches[1] ) ); |
| 862 | 847 | } |
| 863 | 848 | |