Could this be related to the merger? Was something turned off or forgotten, or not working? When was the last time we updated MediaWiki anyway? Hmm.
Thanks for looking into this. Lorelle On Mon, Nov 8, 2010 at 12:15 PM, Otto <[email protected]> wrote: > The problem isn't permissions. The problem is that protection doesn't > seem to be actually doing anything. Checking Special:ProtectedPages > tells me that no pages are protected, even when I just protected one. > > -Otto > > > > On Mon, Nov 8, 2010 at 1:39 PM, Arlen Beiler <[email protected]> wrote: >> I believe it might be your settings. Stick this at the end of >> localsettings.php and post the output (if you want). It will break the wiki >> until you change it back. >> echo '$wgGroupPermissions = ' . var_export($wgGroupPermissions,true); >> break; > _______________________________________________ > wp-docs mailing list > [email protected] > http://lists.automattic.com/mailman/listinfo/wp-docs > _______________________________________________ wp-docs mailing list [email protected] http://lists.automattic.com/mailman/listinfo/wp-docs
