[SCM] KDevelop PHP plugin packaging branch, experimental, updated. debian/5.1.2-2-6-gb1f516a

[Pino Toscano]

Gitweb-URL: http://git.debian.org/?p=pkg-kde/kde-std/kdevelop-php.git;a=commitdiff;h=4f15984

The following commit has been merged in the experimental branch:
commit 4f15984ddaf3346d500c65358f2e3e745868fdfa
Author: Pino Toscano <pino at debian.org>
Date:   Wed Nov 15 22:46:42 2017 +0100

    B-D change: kdevplatform-dev -> kdevelop-dev
---
 debian/changelog | 2 ++
 debian/control   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 66e3cd9..0ac2147 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,8 @@ kdevelop-php (5.2.0-0r1) UNRELEASED; urgency=medium
 
   [ Pino Toscano ]
   * New upstream release.
+  * Switch the kdevplatform-dev build dependency to kdevelop-dev, following
+    the kdevplatform merge in kdevelop.
 
  -- Debian Qt/KDE Maintainers <debian-qt-kde at lists.debian.org>  Wed, 15 Nov 2017 22:43:18 +0100
 
diff --git a/debian/control b/debian/control
index 153f94e..7d9759a 100644
--- a/debian/control
+++ b/debian/control
@@ -16,8 +16,8 @@ Build-Depends: cmake (>= 2.8.12),
                libkf5kcmutils-dev,
                libkf5texteditor-dev,
                libkf5threadweaver-dev,
+               kdevelop-dev (>= 5.2.0),
                kdevelop-pg-qt (>= 2.0),
-               kdevplatform-dev (>= 5.1.2),
                pkg-kde-tools (>= 0.15.16),
 Standards-Version: 4.1.0
 Homepage: http://www.kdevelop.org/

-- 
KDevelop PHP plugin packaging