<html> <head> <script type="text/javascript" src="../../../js/jquery-1.4.2.min.js"> </script> <script type="text/javascript" src="../../../syntax_highlighter/scripts/shCore.js"> </script> <script type="text/javascript" src="../../../syntax_highlighter/scripts/shBrushJScript.js"> </script> <script type="text/javascript" src="../../../syntax_highlighter/scripts/shBrushPhp.js"> </script> <script type="text/javascript" src="../../../syntax_highlighter/scripts/shBrushXml.js"> </script> <link href="../../../syntax_highlighter/styles/shCore.css" rel="stylesheet" type="text/css" /> <link href="../../../syntax_highlighter/styles/shCoreEclipse.css" rel="stylesheet" type="text/css" /> <link href="../../../syntax_highlighter/styles/shThemeWordpress.css" rel="stylesheet" type="text/css" /> </head> <body> <pre class="brush: php"><?php /** * @see ZendX_JQuery_Exception */ require_once "ZendX/JQuery/Exception.php"; class ZendX_JQuery_Form_Exception extends ZendX_JQuery_Exception { }</pre> <script type="text/javascript"> SyntaxHighlighter.all(); jQuery('.gutter div').each(function(key, data){ jQuery(data).prepend('<a name="L'+jQuery(data).text()+'"/>'); }); </script> </body> </html>