PHPBoost CMS

// Sélectionne tout le code
function selectCode(a)
{
	// Get ID of code block
	var e = document.getElementById(a);
 
	// Not IE
	if (window.getSelection)
	{
		var s = window.getSelection();
		// Safari
		if (s.setBaseAndExtent)
		{
			s.setBaseAndExtent(e, 0, e, e.innerText.length - 1);
		}
		// Firefox and Opera
		else
		{
			var r = document.createRange();
			r.selectNodeContents(e);
			s.removeAllRanges();
			s.addRange(r);
		}
	}
	// Some older browsers
	else if (document.getSelection)
	{
		var s = document.getSelection();
		var r = document.createRange();
		r.selectNodeContents(e);
		s.removeAllRanges();
		s.addRange(r);
	}
	// IE
	else if (document.selection)
	{
		var r = document.body.createTextRange();
		r.moveToElementText(e);
		r.select();
	}
}
 

<?php
function _callback_highlight_code($matches)
{
	global $LANG;
	static $identifiantNumeriqueDuCode, $randTxt;
 
	if(empty($randTxt))
		$randTxt = substr(md5(time()),0,5) . 'b';
 
	$line_number=!empty($matches[2]);
	$inline_code=!empty($matches[3]);
 
	$contents=$this->_highlight_code($matches[4],$matches[1],$line_number,$inline_code);
 
	$identifiantNumeriqueDuCode++;
	$identifiantDuCode = 'code_'.$randTxt.$identifiantNumeriqueDuCode;
 
	if(!$inline_code && !empty($matches[1]))
	{
		$contents='<span class="text_code">'.sprintf($LANG['code_langage'],strtoupper($matches[1])).' - <a href="javascript:javascript:selectCode(\''.$identifiantDuCode.'\')">Sélectionner ce code</a></span><div class="code" id="'.$identifiantDuCode.'">'.$contents.'</div>';
	}
	else if(!$inline_code && empty($matches[1]))
	{
		$contents='<span class="text_code">'.$LANG['code_tag'].' - <a href="javascript:javascript:selectCode(\''.$identifiantDuCode.'\')">Sélectionner ce code</a></span><div class="code" id="'.$identifiantDuCode.'">'.$contents.'</div>';
	}
 
	return $contents;
}
?>