Prettyprint peut etre appelé de partout, et on arrete d'utiliser Google

This commit is contained in:
Alan Garcia 2014-01-17 17:11:11 +00:00
parent 5c78a4854e
commit 3e28602075
2 changed files with 4 additions and 2 deletions

View File

@ -113,7 +113,6 @@ echo "<pre class='prettyprint' id='file_content_view' >$content</pre>";
<br />
</form>
<script src="/prettify/run_prettify.js"></script>
<script type="text/javascript">
$(function() {$( "#tabsfile" ).tabs();});

View File

@ -52,8 +52,11 @@ if (file_exists("styles/style-custom.css") ) {
<script src="js/jquery.tablesorter.min.js" type="text/javascript"></script>
<link href="prettify/prettify.css" type="text/css" rel="stylesheet" />
<script src="prettify/prettify.js" type="text/javascript"></script>
</head>
<body>
<body onload="prettyPrint()">
<?
if ($isinvited && isset($oldid) && !empty($oldid) && $oldid!=$cuid ) {