wikidiff installed +x
Open, Needs TriagePublic
Actions

Assigned To

None

Authored By

	Reedy
	Jun 29 2023, 12:22 PM

Description

Minor issue, but following the instructions, installing from HEAD of master, wikidiff2.so is installed with the execute bit set...

Probably not needed..?

-rwxr-xr-x  1 root root 4915224 Jun 29 13:12 wikidiff2.so

This is not specific to wikidiff2. The problem is somewhere in the PHP build system.