Php5-devel on sles12.5

SUSE Linux Enterprise Server
1

All sorts of php5 packages are available, but not php5-devel.
I have these repositories enabled:
SLES12-SP5-Pool
SLES12-SP5-Updates
SLE-SDK12-SP5-Pool
SLE-SDK12-SP5-Updates
SUSE-PackageHub-12-SP5-Standard-Pool
SLE-Module-Toolchain12-Pool
SLE-Module-Toolchain12-Updates
SLE-Module-Web-Scripting12-Pool
SLE-Module-Web-Scripting12-Source-Pool
SLE-Module-Web-Scripting12-Updates

When I installed php5 and other related packages, I got php5-5.5.14-109.82.1.
If I look on scc.suse.com and do a package search, the best I can find is php5-devel-5.5.14-109.76.1, but that’s for SLES12 SP4.
Is there any alternative short of building from the php5 source rpm?

2

Is there any alternative short of building from the php5 source rpm?

The srcpackage, php5-5.5.14-109.82.1, from SLE-Module-Web-Scripting12-Updates
does not claim to be able to build php5-devel.
It might contain all the source files, so there might be a way to do it, but probably not as simple as running rpmbuild.

Perhaps using php5-devel from SP4 would work for building an extension to use in later versions php5.