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
wikitech-l@lists.wikimedia.org