← Back to branch summary

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

« back to all changes in this revision

Viewing changes to userdb/migrations/20100727-02.sql

  • 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:
userdb/migrations/20100727-02.sql
 
1
BEGIN;
 
2
 
 
3
ALTER TABLE semester RENAME COLUMN semester TO url_name;
 
4
ALTER TABLE semester ADD COLUMN display_name TEXT;
 
5
ALTER TABLE semester ADD COLUMN code TEXT;
 
6
ALTER TABLE semester ADD CONSTRAINT semester_year_key1
 
7
    UNIQUE (year, code);
 
8
 
 
9
UPDATE semester SET code = UPPER(url_name);
 
10
UPDATE semester SET display_name = 'semester ' || code;
 
11
 
 
12
ALTER TABLE semester ALTER COLUMN display_name SET NOT NULL;
 
13
ALTER TABLE semester ALTER COLUMN code SET NOT NULL;
 
14
 
 
15
COMMIT;