added 'year' to random result page

site/public/random.php

@@ -38,6 +38,14 @@ $publication_details = get_publication_details($random_record['doc_ref']);
 
   <br><br>
 
+  Year:
+
+  <?php
+  echo $random_record['year'];
+  ?>
+
+  <br><br>
+
   EPO publication:
 
   <a href=<?php echo $random_record['epo_publication_url']; ?>>