<commit_before><?php
// The source code packaged with this file is Free Software, Copyright (C) 2005 by
// <NAME> <gallir at uib dot es>.
// It's licensed under the AFFERO GENERAL PUBLIC LICENSE unless stated otherwise.
// You can get copies of the licenses here:
// 		http://www.affero.org/oagpl.html
// AFFERO GENERAL PUBLIC LICENSE is also included in the file called "COPYING".


@include mnminclude.'ads-credits-functions.php';

include_once(mnminclude.'post.php');

// Warning, it redirects to the content of the variable
if (!empty($globals['lounge'])) {
	header('Location: http://'.get_server_name().$globals['base_url'].$globals['lounge']);
	die;
}

$globals['start_time'] = microtime(true);

header("Content-type: text/html; charset=utf-8");

function do_tabs($tab_name, $tab_selected = false, $extra_tab = false) {
	global $globals;

	$reload_text = _('recargar');
	$active = ' class="tabmain-this"';

	if ($tab_name == "main" ) {
		echo '<ul class="tabmain">' . "\n";

		// url with parameters?
		if (!empty($_SERVER['QUERY_STRING']))
			$query = "?".htmlentities($_SERVER['QUERY_STRING']);

		// START STANDARD TABS
		// First the standard and always present tabs
		// published tab
		if ($tab_selected == 'published') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'" title="'.$reload_text.'">'._('portada').'</a></li>' . "\n";
		} else {
			echo '<li><a  href="'.$globals['base_url'].'">'._('portada').'</a></li>' . "\n";
		}

		// Google Map
		if ($tab_selected == 'map') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'map.php" title="'.$reload_text.'">'._('mapa').'</a></li>' . "\n";
		} else {
			echo '<li><a href="'.$globals['base_url'].'map.php">'._('mapa').'</a></li>' . "\n";
		}

		// Most voted
		if ($tab_selected == 'popular') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'topstories.php" title="'.$reload_text.'">'._('popular').'</a></li>' . "\n";
		} else {
			echo '<li><a href="'.$globals['base_url'].'topstories.php">'._('popular').'</a></li>' . "\n";
		}

		// shake it
		if ($tab_selected == 'shakeit') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'shakeit.php" title="'.$reload_text.'">'._('menear pendientes').'</a></li>' . "\n";
		} else {
			echo '<li><a href="'.$globals['base_url'].'shakeit.php">'._('menear pendientes').'</a></li>' . "\n";
		}
		// END STANDARD TABS

		//Extra tab
		if ($extra_tab) {
			if ($globals['link_permalink']) $url = $globals['link_permalink'];
			else $url = htmlentities($_SERVER['REQUEST_URI']);
			echo '<li '.$active.'><a href="'.$url.'" title="'.$reload_text.'">'.$tab_selected.'</a></li>' . "\n";
		}
		echo '</ul>' . "\n";
	}
}

function do_header($title, $id='home') {
	global $current_user, $dblang, $globals;
	/* from http://es.wikihow.com/decir-hola-en-diferentes-idiomas  thanks! */
	static $hello = array("bienvenid@","hola","kaixo","apa","com va","com vas","cómo andás","epa","aupa","ieup","gñap","aiya","hello","uep","hey","passa","hi","hunga hunga","salut","bonjour","hallo","guten tag","moin moin","Dobrý deň","helo","minjhani","kunjhani","ciao","hej","god dag","have a nice day","as-salaam-aleykum","marhabah","sabbah-el-khair","salaam or do-rood","namaste","ahn nyeong ha se yo","ahn nyeong","goedendag","priviet","zdravstvuyte","ni hao","nei ho","shalom","hei","oi","olá","hej","god dag","mingalarbar","merhaba","chao","kumusta ka","saluton","vanakkam","jambo","mbote","namaskar","dzień dobry","cześć","aloha","jo napot","szervusz","dobriy ranok","labdien","sveiki","chau","hyvää päivää","moi","hei","yia sou","yia sas","góðan dag","hæ","ellohay","namaskkaram","adaab","baagunnara","niltze","hao","bok","ya'at'eeh","merħba","mambo","salamaleikum","grüzi","haj","hallå","moïen","talofa","malo","malo e leilei","la orana","kia ora","buna ziua","kem che","namaskar","sawa dee krap/ka","kanien'kéha","kwe kwe","hola ho","hâu","vary","Привет",'konnichiwa',"hello world","klatu barada nikto");<commit_msg>Pequeños arreglos.<commit_after><?php
// The source code packaged with this file is Free Software, Copyright (C) 2005 by
// <NAME> <gallir at uib dot es>.
// It's licensed under the AFFERO GENERAL PUBLIC LICENSE unless stated otherwise.
// You can get copies of the licenses here:
// 		http://www.affero.org/oagpl.html
// AFFERO GENERAL PUBLIC LICENSE is also included in the file called "COPYING".


@include mnminclude.'ads-credits-functions.php';

include_once(mnminclude.'post.php');

// Warning, it redirects to the content of the variable
if (!empty($globals['lounge'])) {
	header('Location: http://'.get_server_name().$globals['base_url'].$globals['lounge']);
	die;
}

$globals['start_time'] = microtime(true);

header("Content-type: text/html; charset=utf-8");

function do_tabs($tab_name, $tab_selected = false, $extra_tab = false) {
	global $globals;

	$reload_text = _('recargar');
	$active = ' class="tabmain-this"';

	if ($tab_name == "main" ) {
		echo '<ul class="tabmain">' . "\n";

		// url with parameters?
		if (!empty($_SERVER['QUERY_STRING']))
			$query = "?".htmlentities($_SERVER['QUERY_STRING']);

		// START STANDARD TABS
		// First the standard and always present tabs
		// published tab
		if ($tab_selected == 'published') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'" title="'.$reload_text.'">'._('portada').'</a></li>' . "\n";
		} else {
			echo '<li><a  href="'.$globals['base_url'].'">'._('portada').'</a></li>' . "\n";
		}

		// Google Map
		if ($tab_selected == 'map') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'map.php" title="'.$reload_text.'">'._('mapa').'</a></li>' . "\n";
		} else {
			echo '<li><a href="'.$globals['base_url'].'map.php">'._('mapa').'</a></li>' . "\n";
		}

		// Most voted
		if ($tab_selected == 'popular') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'topstories.php" title="'.$reload_text.'">'._('popular').'</a></li>' . "\n";
		} else {
			echo '<li><a href="'.$globals['base_url'].'topstories.php">'._('popular').'</a></li>' . "\n";
		}

		// shake it
		if ($tab_selected == 'shakeit') {
			echo '<li '.$active.'><a href="'.$globals['base_url'].'shakeit.php" title="'.$reload_text.'">'._('menear pendientes').'</a></li>' . "\n";
		} else {
			echo '<li><a href="'.$globals['base_url'].'shakeit.php">'._('menear pendientes').'</a></li>' . "\n";
		}
		// END STANDARD TABS

		//Extra tab
		if ($extra_tab) {
			if ($globals['link_permalink']) $url = $globals['link_permalink'];
			else $url = htmlentities($_SERVER['REQUEST_URI']);
			echo '<li '.$active.'><a href="'.$url.'" title="'.$reload_text.'">'.$tab_selected.'</a></li>' . "\n";
		}
		echo '</ul>' . "\n";
	}
}

function do_header($title, $id='home') {
	global $current_user, $dblang, $globals;
	/* from http://es.wikihow.com/decir-hola-en-diferentes-idiomas  thanks! */
	static $hello = array("bienvenid@","hola","kaixo","apa","com va","com vas","cómo andás","epa","aupa","ieup","gñap","aiya","hello","uep","hey","passa","hi","hunga hunga","salut","bonjour","hallo","guten tag","moin moin","Dobrý deň","helo","minjhani","kunjhani","ciao","hej","god dag","have a nice day","as-salaam-aleykum","marhabah","sabbah-el-khair","salaam or do-rood","namaste","ahn nyeong ha se yo","ahn nyeong","goedendag","priviet","zdravstvuyte","ni hao","nei ho","shalom","hei","oi","olá","hej","god dag","mingalarbar","merhaba","chao","kumusta ka","saluton","vanakkam","jambo","mbote","namaskar","dzień dobry","cześć","aloha","jo napot","szervusz","dob<NAME>ok","labdien","sveiki","chau","hyvää päivää","moi","hei","yia sou","yia sas","góðan dag","hæ","ellohay","namaskkaram","adaab","baagunnara","niltze","hao","bok","ya'at'eeh","merħba","mambo","salam aleikum","grüzi","haj","hallå","moïen","talofa","malo","malo e leilei","la orana","kia ora","buna ziua","kem che","namaskar","sawa dee krap/ka","kanien'kéha","kwe kwe","hola, ho","hâu","vary","Привет",'konnichiwa',"hello world","klatu barada nikto");
{'fraction_non_alphanumeric': 0.2672413793103448, 'fraction_numerical': 0.0012677484787018255, 'mean_word_length': 5.367231638418079, 'pattern_counts': {'":': 0, '<': 86, '<?xml version=': 0, '>': 84, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6942697', 'n_tokens_mistral': 3164, 'n_tokens_neox': 3010, 'n_words': 510}