On Tue, May 6, 2008 at 6:46 PM, Brion Vibber brion@wikimedia.org wrote:
For one thing, we don't have the include path yet... :)
Well, we don't seem to care for WebStart.php or Wiki.php or any of the others that are loaded before LocalSettings.php.
Though that may not be entirely properly functional...
Hmm?