Fix PHP cannot take a shell script

Fix part of https://github.com/friendica/friendica/issues/4665
`php [shell file]` does not work, so use `php [php file]` instead.
`php bin/console.php` is more robust than e.g. `bin/console` which does
not work on Windows, or *nix systems without Bash

doc/Github.md

@@ -70,7 +70,7 @@ Don't hesitate to ask us in case of doubt.
 3. Check your code for typos.
 There is a console command called *typo* for this.
 
-	$> php bin/console typo
+	$> php bin/console.php typo
 
 Check out how to work with [our Vagrant](help/Vagrant) to save a lot of setup time!