2013-04-12 16:48:23 -04:00
|
|
|
<?php
|
|
|
|
|
CLI::taskName("browser-cache-files-upgrade");
|
|
|
|
|
|
|
|
|
|
CLI::taskDescription(<<<EOT
|
|
|
|
|
Safe upgrade for files cached by the browser
|
|
|
|
|
|
|
|
|
|
This command should be run after any upgrade/modification of files cached by the browser.
|
|
|
|
|
EOT
|
|
|
|
|
);
|
|
|
|
|
|
2014-03-17 11:54:09 -04:00
|
|
|
CLI::taskRun("runBrowserCacheFiles");
|
2013-04-12 16:48:23 -04:00
|
|
|
|
|
|
|
|
function runBrowserCacheFiles($command, $args)
|
|
|
|
|
{
|
|
|
|
|
CLI::logging("Safe upgrade for files cached by the browser\n");
|
|
|
|
|
|
|
|
|
|
G::browserCacheFilesSetUid();
|
|
|
|
|
|
|
|
|
|
CLI::logging("Upgrade successful\n");
|
|
|
|
|
}
|
|
|
|
|
|