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

Reply via email to