Fix PHP notice in Scribunto
Merge branch 'scribunto-notice' into dev