+ // Section 2: Installer pages
+ echo '<div class="portal"><div class="body"><ul>';
+ foreach ( [
+ 'config-sidebar-readme' => 'Readme',
+ 'config-sidebar-relnotes' => 'ReleaseNotes',
+ 'config-sidebar-license' => 'Copying',
+ 'config-sidebar-upgrade' => 'UpgradeDoc',
+ ] as $msgKey => $pageName ) {
+ echo $this->parent->makeLinkItem(
+ $this->parent->getDocUrl( $pageName ),
+ wfMessage( $msgKey )->text()
+ );
+ }
+ echo '</ul></div></div>';