<html>
<head>
<title>Glossario PHP</title>
<script language="JAVASCRIPT">
<!--
function glossario(){
var URL = "http://br.php.net"+document.glossform.gloss.options[document.glossform.gloss.selectedIndex].value;
window.open(URL,'glossariophp','scrollbars,screenX=0,screenY=0,width=700,height=500');
// -->
}
//-->
</script>
</head>
<body>
<table border='0' width='132' bordercolor='d3d3d3' cellpadding=0 cellspacing=0>
<tr bgcolor="#E9EBEB">
<td bgcolor="d3d3d3" width="132"> <div align="center">
<p><font color="#FF6600">Gloss�rio php:</font> </div></td>
</tr>
<tr bgcolor="#E9EBEB">
<td bgcolor="d3d3d3" width="132"> <div align='center'><br>
<form name="glossform" method="POST">
<select style="width: 125px" name="gloss" _onChange="glossario();" size="5">
<?
$lista=file("http://br.php.net/quickref.php");
function procura($str) {
if(strpos($str,"/manual")){
$str=strip_tags($str, '<a>');
$str = str_replace("<a href", "<option value", $str);
$str = str_replace("</a>", "</option>", $str);
echo $str;
}
}
array_map("procura", $lista);
?>
</select>
</form>
</div></td>
</tr>
</table>
</body>
</html>