WP File Manager

Current Path: /home/argothem/www/v4_old/plugins-dist/revisions/afficher_diff/lib/

Name	Action
..
AbstractArchiver.php	Edit
ArchiverInterface-20250626150300-20251216064347.php	Edit
ArchiverInterface-20250626150300.php	Edit
ArchiverInterface.php	Edit
Decorators.php	Edit
HTMLSax3-20250623205733.php	Edit
HTMLSax3-20250628133511.php	Edit
HTMLSax3.php	Edit
NestingException-20251219131820.php	Edit
NestingException.php	Edit
SpipArchiver.php	Edit
States-20250624013127.php	Edit
TarArchive-20250625170036.php	Edit
TarArchive.php	Edit
TgzArchive.php	Edit
bigup.documents_edit.js	Edit
bigup.loader.js	Edit
bigup.utils.js	Edit
class.JavaScriptPacker-20250625103405-20251215115221.php	Edit
class.JavaScriptPacker-20250625103405.php	Edit
class.JavaScriptPacker-20250625232920-20250629203315.php	Edit
class.JavaScriptPacker-20250625232920-20251215101946.php	Edit
class.JavaScriptPacker-20250625232920.php	Edit
class.JavaScriptPacker-20250626114605-20251217042323.php	Edit
class.JavaScriptPacker-20250626114605.php	Edit
class.JavaScriptPacker-20250628082118-20250707033759.php	Edit
class.JavaScriptPacker-20250628082118.php	Edit
class.JavaScriptPacker-20250628084649-20251214070441.php	Edit
class.JavaScriptPacker-20250628084649.php	Edit
class.JavaScriptPacker-20250628112422.php	Edit
class.JavaScriptPacker-20250628190637-20251214052125.php	Edit
class.JavaScriptPacker-20250628190637.php	Edit
class.JavaScriptPacker-20250628233524-20251216182152.php	Edit
class.JavaScriptPacker-20250628233524.php	Edit
class.JavaScriptPacker-20250629041836-20251216142325.php	Edit
class.JavaScriptPacker-20250629041836.php	Edit
class.JavaScriptPacker-20250629041839.php	Edit
class.JavaScriptPacker-20250629084811-20251217000925.php	Edit
class.JavaScriptPacker-20250629084811.php	Edit
class.JavaScriptPacker-20250629085108.php	Edit
class.JavaScriptPacker-20250629092029.php	Edit
class.JavaScriptPacker-20250629184237-20251215135702.php	Edit
class.JavaScriptPacker-20250629184237.php	Edit
class.JavaScriptPacker-20250630080300.php	Edit
class.JavaScriptPacker-20250630081141-20251214084102.php	Edit
class.JavaScriptPacker-20250630081141.php	Edit
class.JavaScriptPacker-20250630104904-20251214084022.php	Edit
class.JavaScriptPacker-20250630104904.php	Edit
class.JavaScriptPacker-20250630114638-20251215133948.php	Edit
class.JavaScriptPacker-20250630114638.php	Edit
class.JavaScriptPacker-20250630133547.php	Edit
class.JavaScriptPacker-20250630185243-20251215173804.php	Edit
class.JavaScriptPacker-20250630185243.php	Edit
class.JavaScriptPacker-20250701130023.php	Edit
class.JavaScriptPacker-20250701130156.php	Edit
class.JavaScriptPacker-20250701132349.php	Edit
class.JavaScriptPacker-20250701193134.php	Edit
class.JavaScriptPacker-20250702064026.php	Edit
class.JavaScriptPacker-20250702135723.php	Edit
class.JavaScriptPacker-20250703163535-20251217011041.php	Edit
class.JavaScriptPacker-20250703163535.php	Edit
class.JavaScriptPacker-20250704063034-20251216162015.php	Edit
class.JavaScriptPacker-20250704063034.php	Edit
class.JavaScriptPacker-20250704095137-20250708170200.php	Edit
class.JavaScriptPacker-20250704095137-20251216202328.php	Edit
class.JavaScriptPacker-20250704095137.php	Edit
class.JavaScriptPacker-20250704095442.php	Edit
class.JavaScriptPacker-20250704171837.php	Edit
class.JavaScriptPacker-20250704171941.php	Edit
class.JavaScriptPacker-20250705010411-20251215100623.php	Edit
class.JavaScriptPacker-20250705010411.php	Edit
class.JavaScriptPacker-20250705060929.php	Edit
class.JavaScriptPacker-20250705081301-20251214083949.php	Edit
class.JavaScriptPacker-20250705081301.php	Edit
class.JavaScriptPacker-20250705081509-20251215134839.php	Edit
class.JavaScriptPacker-20250705081509.php	Edit
class.JavaScriptPacker-20250706175803-20251215115229.php	Edit
class.JavaScriptPacker-20250706175803.php	Edit
class.JavaScriptPacker-20250706175807-20251214134125.php	Edit
class.JavaScriptPacker-20250706175807.php	Edit
class.JavaScriptPacker-20250706175813.php	Edit
class.JavaScriptPacker-20250706175815-20251215174819.php	Edit
class.JavaScriptPacker-20250706175815.php	Edit
class.JavaScriptPacker-20250708141310-20251214083938.php	Edit
class.JavaScriptPacker-20250708141310.php	Edit
class.JavaScriptPacker.php	Edit
class.minify_html-20251220212854.php	Edit
class.minify_html.php	Edit
extension.cache.mysql-20251215102700.php	Edit
extension.cache.mysql.php	Edit
index-20250623164846-20250624013114.php	Edit
index-20250623164846.php	Edit
index-20250623205730.php	Edit
index-20250625103418.php	Edit
index.php	Edit
jquery.twinkle-20250629103402.js	Edit
jquery.twinkle-20251219133414.js	Edit
jquery.twinkle.js	Edit
lib
license.txt	Edit
lity.js	Edit
mejs-init-20250625170245.js	Edit
mejs-init-20250627082844.js	Edit
mejs-init-20251220051136.js	Edit
mejs-init.js	Edit
paquet-safehtml_ar.php	Edit
paquet-safehtml_br.php	Edit
paquet-safehtml_de.php	Edit
paquet-safehtml_en.php	Edit
paquet-safehtml_eo.php	Edit
paquet-safehtml_es.php	Edit
paquet-safehtml_it.php	Edit
paquet-safehtml_pt.php	Edit
paquet-safehtml_ru.php	Edit
paquet-safehtml_sk.php	Edit
phpcs.xml.dist	Edit
phpstan-baseline.neon	Edit
phpstan.neon.dist	Edit
plugins
preparer_sql_plugin.php	Edit
readme.txt	Edit
safehtml-20250624182027.php	Edit
safehtml-20250624182028.php	Edit
safehtml-20250624182037.php	Edit
safehtml-20250625014208.php	Edit
safehtml-20250627164803.php	Edit
safehtml.php	Edit
sites_administrations-20250628120256.php	Edit
sites_administrations-20251218220809.php	Edit
sites_administrations.php	Edit
sites_cpf_hat.php	Edit
sites_en-20250625061559.php	Edit
sites_en-20250625103656.php	Edit
sites_en-20250625170240.php	Edit
sites_en-20250627020732.php	Edit
sites_en-20251218194006.php	Edit
sites_en.php	Edit
sites_eu.php	Edit
sites_fonctions-20250625103654.php	Edit
sites_fonctions-20250625103656.php	Edit
sites_fonctions-20250626164320.php	Edit
sites_fonctions.php	Edit
sites_hu-20251219103522.php	Edit
sites_hu.php	Edit
sites_it-20250625151036.php	Edit
sites_it-20251218232950.php	Edit
sites_it.php	Edit
sites_lb-20250628051647.php	Edit
sites_lb.php	Edit
sites_pipelines-20250624161125.php	Edit
sites_pipelines-20250625061602.php	Edit
sites_pipelines-20250627181251.php	Edit
sites_pipelines-20251218194414.php	Edit
sites_pipelines.php	Edit
sites_pt-20250626074157.php	Edit
sites_pt-20250628080138.php	Edit
sites_pt.php	Edit
spip-20250623073223.php	Edit
spip-20250623164846.php	Edit
spip-20250624035256.php	Edit
spip.php	Edit
spip_loader-20250623095105.php	Edit
spip_loader-20250623164845.php	Edit
spip_loader-20250624013123.php	Edit
spip_loader-20250624100030.php	Edit
spip_loader.php	Edit
spip_loader_list.json	Edit
svp_actionner-20250623143329.php	Edit
svp_actionner.php	Edit
svp_decider.php	Edit
svp_outiller.php	Edit
svp_plugin-20250623051422.php	Edit
svp_plugin-20250623095111.php	Edit
svp_plugin-20250623164846.php	Edit
svp_plugin-20250623231908.php	Edit
svp_plugin-20250626110015.php	Edit
svp_plugin.php	Edit

Editing: bigup.utils.js

/**
 * Déclaration de fonctions utilitaires,
 * indépendances de Bigup.
 *
 * - Gestion de clés de traductions en JS
 * - Reprise de fonctions PHP de SPIP en JS
 */

/** Alias pour avoir une fonction _T utilisable en js */
function _T(code, contexte) {
	return Trads.traduire(code, contexte);
}

/**
 * Gestion de traductions.
 *
 * Actuellement on ne déclare pas de langue, considérant
 * que les traductions ajoutées sont dans la langue de l’utilisateur.
 */
function Traductions() {
	this.modules = {};
};

Traductions.prototype = {

set: function(module, couples_cle_traduction) {
		this.modules[module] = $.extend(this.modules[module] || {}, couples_cle_traduction);
	},

get: function(module, code, contexte) {
		if (typeof this.modules[module] === 'undefined') {
			return '';
		}
		if (typeof this.modules[module][code] === 'undefined') {
			return '';
		}
		var texte = this.modules[module][code];
		$.each(contexte, function(cle, val) {
			texte = texte.replace('@' + cle + '@', val);
		});
		return texte;
	},

/**
	 * Traduction d'un code de langue
	 *
	 * trads.traduire('bigup:supprimer_fichier');
	 * trads.traduire('bigup:supprimer_fichier', {fichier: 'nom.jpg'});
	 */
	traduire: function(code, contexte) {
		var desc = this.trouver_module_et_code(code);
		return this.get(desc.module, desc.code, contexte) || code;
	},

/** Retrouve le nom du module et la clé d’un code de langue 'module:cle_de_langue' */
	trouver_module_et_code: function(code) {
		var list = code.split(':', 2);
		var module = list.shift();
		var cle = list.shift();
		if (cle) {
			return { module:module, code:cle };
		}
		return { module: 'spip', cle: module};
	},

/**
	 * retourne le texte singulier si nb vaut 1, sinon le texte pluriel.
	 */
	singulier_ou_pluriel: function(nb, code_singulier, code_pluriel) {
		return parseInt(nb, 10) === 1
			? this.traduire(code_singulier)
			: this.traduire(code_pluriel, {nb: nb});
	}
};

// Déclarons un spécimen de traduction global.
Trads = new Traductions();

/**
 * Enlève une ancre d'une URL
 * @param string $url
 */
$.enlever_ancre = function(url) {
	var p = url.indexOf('#');
	if (p !== -1) {
		// var ancre = url.substring(p);
		url = url.substring(0,p);
	}
	return url;
};

/**
 * Transforme un name en classe
 * @see saisie_nom2classe() en PHP.
 * @param string name
 * @return string
 */
$.nom2classe = function(nom) {
	return nom.replace(/\/|\[|&#91/g, '_').replace(/\]|&#93/g, '');
};

/**
 * Calcule une taille en octets humainement lisible
 * @param int taille Taille en octets
 * @return string
 */
$.taille_en_octets = function(taille) {
	var ko = 1024;
	if (taille < ko) {
		return _T('unites:taille_octets', {taille: taille});
	} else if (taille < ko * ko) {
		return _T('unites:taille_ko', {taille: Math.round(taille/ko * 10) / 10});
	} else if (taille < ko * ko * ko) {
		return _T('unites:taille_mo', {taille: Math.round(taille/ko/ko * 10) / 10});
	} else {
		return _T('unites:taille_go', {taille: Math.round(taille/ko/ko/ko * 10) / 10});
	}
};

/**
 * Retrouve (et corrige) une extension dans un nom de fichier
 * @param string name Nom d'un fichier
 * @return string Extension du fichier
 */
$.trouver_extension = function(name) {
	// retouver l'extension
	var re = /(?:\.([^.]+))?$/;
	var extension = re.exec(name)[1];
	extension = extension.toLowerCase();

// cf corriger_extension() dans plugin medias.
	switch (extension) {
		case 'htm':
			extension='html';
			break;
		case 'jpeg':
			extension='jpg';
			break;
		case 'tiff':
			extension='tif';
			break;
		case 'aif':
			extension='aiff';
			break;
		case 'mpeg':
			extension='mpg';
			break;
	}
	return extension;
};

$.mime_type_image = function(extension) {
	extension = extension.toLowerCase();
	var mime = "image/" + extension;
	// cas particuliers
	switch (extension) {
		case 'bmp':
			mime = "image/x-ms-bmp";
			break;
		case 'jpg':
			mime = "image/jpeg";
			break;
		case 'svg':
			mime = "image/svg+xml";
			break;
		case 'tif':
			mime = "image/tiff";
			break;
	}
	return mime;
};