commit 9901adcbdeef9c17e72003ab9c479df74fbcbe64
author Wayne Beaton <wayne@eclipse.org> Fri Mar 08 23:31:12 2013 -0500
committer Wayne Beaton <wayne@eclipse.org> Fri Mar 08 23:31:12 2013 -0500
tree e2c63e744dddf137dcbbe05667d7525b53b4091e
parent 5089d471599321b3036c0931510642d31d38fbb1

If <outdated/> is specified in the info.xml, mark page as deprecated.

parts/versions.php

diff --git a/parts/versions.php b/parts/versions.php
index 12d5753..27df8a4 100755
--- a/parts/versions.php
+++ b/parts/versions.php
@@ -20,6 +20,7 @@
  <div class="info-box">
  
  <?
+ 	if (isset($info->outdated)) $App->setOutDated();
  	if ($info->project) {
 		require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/classes/projects/projectInfoData.class.php");
  		echo "<p>This article is known to apply to the following Eclipse project";