And as already mentioned, ownCloud 10.0 can also work with php7 - which is going to be supported in future, unlike php5 - I would suggest migration in this direction, it is less adventurous than overriding part of Leap with devel project.