93     $scope = $HTTP_GET_VARS[ "scope" ];  variable
100     if ($scope == NULL)
101         $scope = "any";  variable
102     $scope = ltrim ($scope);  variable
103     if ($scope == "")
104         $scope = "any";  variable
115     <option value="XML" <?php if ($scope == 'XML') print "selected"?>>XML resources</option>
116     <option value="XSLT" <?php if ($scope == 'XSLT') print "selected"?>>XSLT resources</option>
117     <option value="API" <?php if ($scope == 'API') print "selected"?>>Only the APIs</option>
118 …  <option value="XMLAPI" <?php if ($scope == 'XMLAPI') print "selected"?>>Only the XML API</option>
119 …<option value="XSLTAPI" <?php if ($scope == 'XSLTAPI') print "selected"?>>Only the XSLT API</optio…
120 …<option value="DOCS" <?php if ($scope == 'DOCS') print "selected"?>>Only the Documentation</option>
121 …<option value="XMLDOC" <?php if ($scope == 'XMLDOC') print "selected"?>>Only the XML Documentation…
122 …<option value="XSLTDOC" <?php if ($scope == 'XSLTDOC') print "selected"?>>Only the XSLT Documentat…
123 …<option value="LISTS" <?php if ($scope == 'LISTS') print "selected"?>>Only the lists archives</opt…
124 …<option value="XMLLIST" <?php if ($scope == 'XMLLIST') print "selected"?>>Only the XML list archiv…
125 …<option value="XSLTLIST" <?php if ($scope == 'XSLTLIST') print "selected"?>>Only the XSLT list arc…
249 		if (($scope == 'any') || ($scope == 'XML') ||
250 		    ($scope == 'API') || ($scope == 'XMLAPI')) {
274 		if (($scope == 'any') || ($scope == 'XSLT') ||
275 		    ($scope == 'API') || ($scope == 'XSLTAPI')) {
299 		if (($scope == 'any') || ($scope == 'XML') ||
300 		    ($scope == 'DOCS') || ($scope == 'XMLDOC')) {
321 		if (($scope == 'any') || ($scope == 'XSLT') ||
322 		    ($scope == 'DOCS') || ($scope == 'XSLTDOC')) {
342 		if (($scope == 'any') || ($scope == 'XML') ||
343 		    ($scope == 'LISTS') || ($scope == 'XMLLIST')) {
368 		if (($scope == 'any') || ($scope == 'XSLT') ||
369 		    ($scope == 'LISTS') || ($scope == 'XSLTLIST')) {
397 		if (($scope == 'any') || ($scope == 'XML') ||
398 		    ($scope == 'API') || ($scope == 'XMLAPI')) {
422 		if (($scope == 'any') || ($scope == 'XSLT') ||
423 		    ($scope == 'API') || ($scope == 'XSLTAPI')) {