On Thu, Aug 13, 2009 at 3:43 AM, Aryeh Gregor<simetrical+wikil...@gmail.com> wrote: > On Wed, Aug 12, 2009 at 5:03 PM, Brion Vibber<br...@wikimedia.org> wrote: >> Your setup is incorrect: the extensions folder *always* goes inside the >> MediaWiki root dir. Always. > > I don't do this on my development wiki. I use a checkout of trunk, so > extensions/ is inside phase3/../. Are there any significant problems > with us supporting extensions/ being in an arbitrary location, as long > as phase3/extensions/ reliably points to it both on the web and > filesystem level? Is there really no other reliable way to do > standalone PHP scripts in extensions than require_once > "../../LocalSettings.php"? > We could add a global $wgExtensionMaintenanceScripts['scriptName'] = 'ExtensionMaintenanceClass::doSomeMaintenance'; and add a maintenance script performExtensionMaintenance.php <scriptName> which calls the maintenance function of the extension. The file will then get autoloaded by the autoloader.
Bryan _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l