Wikimedia Bugzilla is closed!

In Parser.php:
if( !$this->mTitle->userCanEdit() ) {
    $showEditLink = 0;
} else {
    $showEditLink = $this->mOptions->getEditSection();
}
_________________

The code above is not supposed to show edit section links if the user doesn't
have the edit permission but it does anyway.

In DefaultSettings.php the following suggestion appears in the comments:
 * For instance, to disable section editing links:
 *  $wgDefaultUserOptions ['editsection'] = 0;

But that doesn't work either.

Moreover, in Parser.php below:
$this->mEditSection = true;
_____________
This