Manual:$wgPageProps/de-formal

Details
This variable stores the names of all page properties that can be set in the database, and the descriptions. The descriptions are only shown in the help page. It should only be set by extensions.