[gnome-games] playstation: Fix PlayStationHeader.disc_id

[Adrien Plazas <aplazas src gnome org>]

commit 902ba4d12af02bb7b0e3672ca214cd442ae8255e
Author: Adrien Plazas <kekun plazas laposte net>
Date:   Sun Jul 31 11:46:36 2016 +0200

    playstation: Fix PlayStationHeader.disc_id
    
    Add the missing first part of the disc ID to PlayStationHeader's
    'disc-id' property and ensures it is in uppercase.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=769345

 plugins/playstation/src/playstation-header.vala |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/playstation/src/playstation-header.vala b/plugins/playstation/src/playstation-header.vala
index 12111be..0c8a3d1 100644
--- a/plugins/playstation/src/playstation-header.vala
+++ b/plugins/playstation/src/playstation-header.vala
@@ -29,7 +29,7 @@ private class Games.PlayStationHeader : Object {
                        raw_id = raw_id.split (";")[0];
                        raw_id = raw_id.replace ("_", "-");
                        raw_id = raw_id.replace (".", "");
-                       _disc_id = raw_id;
+                       _disc_id = (id + raw_id).up ();
                }
 
                if (_disc_id == null)