| Index: branches/new-installer/phase3/includes/installer/WebInstallerOutput.php |
| — | — | @@ -168,6 +168,7 @@ |
| 169 | 169 | } |
| 170 | 170 | |
| 171 | 171 | function outputShortHeader() { |
| | 172 | + global $wgVersion; |
| 172 | 173 | ?> |
| 173 | 174 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| 174 | 175 | <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en" dir="ltr"> |