added w3c-include.js on the result page
authorThomas Gambet <tgambet@w3.org>
Thu, 12 Sep 2013 20:02:30 +0200
changeset 417 e55a608c8c1f
parent 416 74396ff19ff3
child 418 c471b7239508
added w3c-include.js on the result page
templates/results.html.php
--- a/templates/results.html.php	Thu Sep 12 17:49:48 2013 +0200
+++ b/templates/results.html.php	Thu Sep 12 20:02:30 2013 +0200
@@ -164,8 +164,8 @@
 if (!IS_AJAX) {
 ?>
 
-<div id="don_program">
-	<script type="text/javascript" src="http://www.w3.org/QA/Tools/don_prog.js"></script>
+<div id="w3c-include" class="intro">
+    <script type="text/javascript" src="http://www.w3.org/QA/Tools/w3c-include.js"></script>
 </div>
 	
 <?php