history.php 743 B

12345678910111213141516171819202122232425262728293031323334
  1. <div id="history">
  2. <?php
  3. if( isset( $_['message'] ) ) {
  4. if( isset($_['path'] ) ) echo('<strong>File: '.$_['path'] ).'</strong><br>';
  5. echo('<strong>'.$_['message'] ).'</strong><br>';
  6. }else{
  7. if( isset( $_['outcome_stat'] ) ) {
  8. echo( '<div id="feedback-messages" class="'.$_['outcome_stat'].'"><h3>'.$_['outcome_msg'] ).'</h3></div><br>';
  9. }
  10. echo( '<strong>Versions of '.$_['path'] ).'</strong><br>';
  11. echo('<p><em>You can click on the revert button to revert to the specific verson.</em></p><br />');
  12. foreach ( $_['versions'] as $v ) {
  13. echo ' ';
  14. echo OCP\Util::formatDate( $v );
  15. echo ' <a href="history.php?path='.urlencode( $_['path'] ).'&revert='. $v .'" class="button">Revert</a><br /><br />';
  16. }
  17. }
  18. ?>
  19. </div>