Brion ,
Did you put them in the wrong part of the file?
Thank you for pointing this out. I had missed the part of the User's
Guide that specified that all changes to LocalSettings.php must be made
below the line that says require_once( "includes/DefaultSettings.php" );
I have placed the changes in the right place, and the editing is now
restricted, as desired.
Thank you for your help.
--
Dave M G