MediaWiki:Versions.js

/* Это переключатель версий. */

function getInnerSpans($source, $class)
{
 var $list=$source.childNodes, $result=new Array(), $rec=new Array();
 for (var $i=0; $i<$list.length; $i++)
 {
  if (($list[$i].tagName=='SPAN')&&(hasClass($list[$i], $class))) $result[$result.length]=$list[$i];
  $rec=getInnerSpans($list[$i], $class);
  if ($rec) $result=$result.concat($rec);
 }
 return $result;
}


/* Установка кнопок */
function setVersionsButtons()
{
 var $holder=document.getElementById('version_switcher');
 var $buttons=getInnerSpans($holder, 'versionbutton');
' $holder.innerHTML='<br /> <u><span id="showspoilers'+$defhidden+'" style="cursor:crosshair;">Показать</span></u> <u><span id="hidespoilers" style="cursor:crosshair;">Скрыть</span></u>';
}
setVersionsButtons();