← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to test/test_framework/problem.dtd

  • Committer: David Coles
  • Date: 2010-07-28 10:52:48 UTC
  • mfrom: (1791.2.10 mediahandlers)
  • Revision ID: coles.david@gmail.com-20100728105248-zvbn9g72v1nsskvd
A series of HTML5 based media handlers using the <audio> and <video> tags.  
This replaces the previous page that just showed a download link (which is 
already available on the menu).

Also solves issue where media files were downloaded by the client twice (once 
in an AJAX request intended only for text).

Known issues:
    * Bug #588285: External BHO will not be able to play media due to not
      having IVLE cookie.
    * Bug #610745: Does not correctly preview revisions
    * Bug #610780: Ogg media does not work in Chromium

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/test_framework/problem.dtd
 
1
<!ELEMENT problem (desc, include?, solution, case)>
 
2
<!ELEMENT desc (#PCDATA)>
 
3
<!ELEMENT include (#PCDATA)>
 
4
<!ELEMENT solution (#PCDATA)>
 
5
<!ELEMENT case (stdin?, file*, var*)>
 
6
<!ATTLIST case
 
7
        name CDATA #REQUIRED
 
8
>
 
9
<!ELEMENT stdin (#PCDATA)>
 
10
<!ELEMENT stdout (#PCDATA)>
 
11
<!ELEMENT file (#PCDATA)>
 
12
<!ATTLIST file
 
13
        name CDATA #REQUIRED
 
14
        type (check|norm) #IMPLIED
 
15
>
 
16
<!ELEMENT var EMPTY>
 
17
<!ATTLIST var
 
18
        name CDATA #REQUIRED
 
19
        value CDATA #REQUIRED
 
20
>
 
21
<!ELEMENT function (stdout?, file*)>
 
22
<!ATTLIST function
 
23
        desc CDATA #REQUIRED
 
24
        default (ignore|match) #REQUIRED
 
25
>