Java.class.php 590 B

12345678910111213141516171819202122232425262728
  1. <?php
  2. class Java extends Readme {
  3. public static function manifest(){
  4. return array(
  5. 'uid' => 'java',
  6. 'label' => 'Java',
  7. 'description' => 'Langage JAVA (il faut de tout pour faire un monde...)',
  8. 'fromExtension' => array('java','jsp','jar'),
  9. 'toExtension' => 'java'
  10. );
  11. }
  12. public static function toHtml($resource,$sketch){
  13. $infos = self::manifest();
  14. return array(
  15. 'content'=>'<textarea>'.$resource->content.'</textarea>',
  16. 'codemirror' => array(
  17. 'mode'=>'java',
  18. 'theme'=>'monokai',
  19. 'lineNumbers' => true,
  20. 'readOnly' => false
  21. )
  22. );
  23. }
  24. }
  25. ?>