Index: trunk/extensions/OnlineStatusBar/OnlineStatusBar.status.php |
— | — | @@ -1,4 +1,4 @@ |
2 | | -<? |
| 2 | +<?php |
3 | 3 | if ( !defined( 'MEDIAWIKI' ) ) { |
4 | 4 | echo "This is a part of mediawiki and can't be started separately"; |
5 | 5 | die(); |
Index: trunk/extensions/OnlineStatusBar/OnlineStatusBar.body.php |
— | — | @@ -1,4 +1,4 @@ |
2 | | -<? |
| 2 | +<?php |
3 | 3 | if ( !defined( 'MEDIAWIKI' ) ) { |
4 | 4 | echo "This is a part of mediawiki and can't be started separately"; |
5 | 5 | die(); |