functions_stub.php

<?php

	 function pluginApp(
		string $abstract, 
		array $parameters = []
	)
	{ return null; }

	 function publicPath(
		string $pluginName = null
	)
	{ return null; }

	 function pluginSetId(
	):int
	{ return null; }