mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-12 09:58:17 +00:00
db80e48933
Add the Moment Timezone library. Add a script for managing libraries, like in MediaWiki core. Depends-On: I9a59a6ad01850b30327e4215f2be61b8d1c41277 Change-Id: I64bc79e7d0ccdf42b006e5a225c8aa70ea5f4e15
21 lines
512 B
PHP
21 lines
512 B
PHP
<?php
|
|
|
|
$IP = getenv( 'MW_INSTALL_PATH' );
|
|
if ( $IP === false ) {
|
|
$IP = __DIR__ . '/../../..';
|
|
}
|
|
require_once "$IP/maintenance/Maintenance.php";
|
|
|
|
class DiscussionToolsManageForeignResources extends Maintenance {
|
|
public function execute() {
|
|
$frm = new ForeignResourceManager(
|
|
__DIR__ . '/../modules/lib/foreign-resources.yaml',
|
|
__DIR__ . '/../modules/lib'
|
|
);
|
|
return $frm->run( 'update', 'all' );
|
|
}
|
|
}
|
|
|
|
$maintClass = DiscussionToolsManageForeignResources::class;
|
|
require_once RUN_MAINTENANCE_IF_MAIN;
|