IDE and static-analysis stubs for the luaext PHP extension: the public API declared in PHP, for editors and analysers that cannot load the binary.