MediaWiki 1.71
Function initialiseFromUser( &$userInput ) {
Line 4591
$this->mEditSection = true;
meaning imho that by default the possibility to edit section is set to
true. I think this is a reason why in LocalSettings.php
$wgDefaultUserOptions['editsection'] = 0
does'nt work (It did not in my wiki).
In MediaWiki 1.46 you can find the line.
$this->mEditSection = $user->getOption( 'editsection' );
Here the possibility to edit section is defined by LocalSettings.php.
I used this lines for my purpose
if ($user->getID()) {
$this->mEditSection = $user->getOption( 'editsection' );
} else {
$this->mEditSection = 0;
}
by Zigger, from (http):
mail.wikipedia.org/pipermail/mediawiki-l/2004-November/002099.html
HeinzJ