User "Tim Starling" posted a comment on MediaWiki.r45497.

Full URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/45497#c17441
Commit summary:

* Made it possible to set $wgLogo to false and have no logo. Made this the 
default, installer-configurable.
* Introduced $wgDeletedDirectory to replace obsolete $wgFileStore and 
installer-configurable
* Turned the "environment" page into a "welcome" page. Still needs some work to 
make it more welcoming.
* Refactored the getLabelled*() from InstallerDBType.php into WebInstaller 
where it can be useful for the WebInstaller pages
* Implemented pages "Name" and "Options". Finished the MySQL settings form.
* Implemented documentation pages which render files like README as wikitext.
* Removed MediaWiki copyright/license from navigation regions and put them on 
the welcome page.
* Split the bulk CSS and JS off to separate files

Comment:

The idea was that it would cause $wgGroupPermissions to be set in the generated 
LocalSettings.php to a suitable set of permissions. It certainly didn't work at 
the time, because the code to generate LocalSettings.php was not done at the 
time. It was written later, by Chad. 

If the rights profile is still in the UI but it doesn't do anything, a 1.17 
blocker bug should be opened immediately.

_______________________________________________
MediaWiki-CodeReview mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview

Reply via email to