Prueba

De SIU
Saltar a: navegación, buscar
  1. Instale su extensión.
    Generally, at the end of the LocalSettings.php file (but above the PHP end-of-code delimiter, "?>", if present), the following line should be added:
    require_once( "$IP/extensions/extension_name/extension_name.php" );


def quickSort(arr):    less = []    pivotList = []    more = []    if len(arr) <= 1:        return arr    left ?    else:


Agregar los parámetros en el archivo de inicialización de la instalación Toba (<path proyecto Guaraní>/lib/toba/instalacion/instalacion.ini):

    chequea_sincro_svn = 1    [xslfo]    fop=<path proyecto Guaraní>/php/3ros/fop/fop.bat


def quickSort(arr):
    less = []
    pivotList = []
    more = []
    if len(arr) <= 1:
        return arr
    else:


    chequea_sincro_svn = 1
    [xslfo]
    fop=<path proyecto Guaraní>/php/3ros/fop/fop.bat

http://documentacion.siu.edu.ar/wiki/Prueba

Setup

Then add to the bottom of your LocalSettings.php file.

#Dynamic Page List
require_once("$IP/extensions/intersection/DynamicPageList.php");

The extension also supports a couple of configuration variables. Normally you wouldn't want to change the default, but if you do you can add them to your LocalSettings.php after the require_once line. Here is the supported configuration variables along with their default values:

# Configuration variables. Warning: These use DLP instead of DPL
# for historical reasons (pretend Dynamic list of pages)
$wgDLPmaxCategories = 6;                // Maximum number of categories to look for
$wgDLPMaxResultCount = 200;             // Maximum number of results to allow
$wgDLPAllowUnlimitedResults = false;    // Allow unlimited results
$wgDLPAllowUnlimitedCategories = false; // Allow unlimited categories
// How long to cache pages using DPL's in seconds. Default to 1 day. Set to
// false to use the normal amount of page caching (most efficient), Set to 0 to disable
// cache altogether (inefficient, but results will never be outdated)
$wgDLPMaxCacheTime = 60*60*24;          // How long to cache pages in seconds