From 1c3f564604801fc893bce2fc93b5048527f50c89 Mon Sep 17 00:00:00 2001
From: Luca Beltrame <lbeltrame@kde.org>
Date: Wed, 7 Jun 2017 17:33:05 +0200
Subject: [PATCH] Update configuration

---
 repo_config.json | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/repo_config.json b/repo_config.json
index ae399fb..da674b6 100644
--- a/repo_config.json
+++ b/repo_config.json
@@ -1725,6 +1725,11 @@
             "obs": "kdevplatform",
             "branch": "master"
         },
+        {
+            "kde": "plasma-browser-integration",
+            "obs": "plasma-browser-integration",
+            "branch": "master"
+        },
         {
             "kde": "kmymoney",
             "obs": "kmymoney5",
@@ -1791,7 +1796,7 @@
 	    "branch": "master"
 	},
 	{
-	    "kde": "kdev-hp",
+	    "kde": "kdev-php",
 	    "obs": "kdevelop5-plugin-php",
 	    "branch": "master"
 	},