Translations:Manual:Extension registration/154/en

In MediaWiki 1.33.0(?!??) and above you can also add dependencies on PHP like so: