adding support for new XOS release 15.x version format

I would like to contribute a small patch to add support for new release version format of Extreme Networks. Hope you will consider my proposal.

Here is the diff.

Index: includes/polling/os/extremeware.inc.php
===================================================================
— includes/polling/os/extremeware.inc.php (revision 3881)
+++ includes/polling/os/extremeware.inc.php (working copy)
@@ -28,13 +28,19 @@

// ExtremeXOS version 12.4.1.7 v1241b7 by release-manager on Sat Mar 13 02:36:57 EST 2010
// ExtremeWare XOS version 11.5.2.10 v1152b10 by release-manager on Thu Oct 26 09:53:04 PDT 2006
+ // ExtremeXOS (Stack) version 15.2.1.5 v1521b5-patch1-1 by release-manager on Thu Sep 20 15:37:51 EDT 2012
+ // ExtremeXOS (BD-8810) version 15.1.2.12 v1512b12-patch1-2 by release-manager on Thu May 3 19:02:28 EDT 2012

echo(" XOS \n");

• list($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m) = explode(" ", str_replace("ExtremeWare XOS", "ExtremeXOS", $poll_device['sysDescr']));
  + list($a,$b,$c,$d,$e,$f,$g,$h,$i,$j,$k,$l,$m,$n) = explode(" ", str_replace("ExtremeWare XOS", "ExtremeXOS", $poll_device['sysDescr']));
  if ($b == "version")
  { $version = $c; $features = $d . " ".$i." ".$j." ".$m; + }

  elseif ($c == "version")
  +

  { + $version = $d; + $features = $e . " ".$j." ".$k." ".$n; }

  }