Merge "Miscellaneous profiling fixes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Jan 2013 08:24:16 +0000 (08:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Jan 2013 08:24:16 +0000 (08:24 +0000)
1  2 
includes/EditPage.php
includes/Linker.php

Simple merge
@@@ -1927,16 -1921,9 +1927,16 @@@ class Linker 
                                        . wfMessage( 'word-separator' )->escaped()
                                        . $protected . '</li>';
                        }
 +
 +                      if ( $more instanceof Title ) {
 +                              $outText .= '<li>' . self::link( $more, wfMessage( 'moredotdotdot' ) ) . '</li>';
 +                      } elseif ( $more ) {
 +                              $outText .= "<li>$more</li>";
 +                      }
 +
                        $outText .= '</ul>';
                }
-               wfProfileOut( __METHOD__  );
+               wfProfileOut( __METHOD__ );
                return $outText;
        }