https://bugzilla.wikimedia.org/show_bug.cgi?id=12433


[email protected] changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|DefaultSettings.php         |better $wgReadOnlyFile lock
                   |$wgReadOnlyFile comment     |file naming
                   |clarifications              |




--- Comment #8 from [email protected]  2009-05-26 12:50:32 UTC ---
One [low priority] day if somebody wants to work on this:
it seems instead of saying in Setup.php:
>if( $wgReadOnlyFile === false ) $wgReadOnlyFile = 
>"{$wgUploadDirectory}/lock_yBgMBwiR";
and in DefaultSettings.php:
>/***
> * If this lock file exists (size > 0), the wiki will be forced into read-only 
> mode.
> * Its contents will be shown to users as part of the read-only warning
> * message.
> */
>$wgReadOnlyFile         = false; ///< defaults to 
>"{$wgUploadDirectory}/lock_yBgMBwiR";
it would be better to say just once in DefaultSettings.php:
>$wgReadOnlyFile = $wgUploadDirectory . '/' . wfWikiID() . 'lock_wiki';
and also say there (and implement) that an empty file will also lock the wiki.
*lock_wiki is easier to remember than lock_yBgMBwiR.
*using wfWikiID() means we are now
http://www.mediawiki.org/wiki/Manual:Wiki_family safe, no longer
stepping on each other's toes. It's the same idea as used in
maintenance/generateSitemap.php.


-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to