Added missing GPLv2 headers in some places.

[lhc/web/wiklou.git] / extensions / README

diff --git a/extensions/README b/extensions/README
index 0437af6..ca15585 100644 (file)
--- a/extensions/README
+++ b/extensions/README
@@ -24,4 +24,4 @@ The following code snippet let you override the default path:
  if( $IP === false ) {
        $IP = dirname( __FILE__ ) . '/../..';
  }
- require( "$IP/maintenance/Maintenance.php" ); // a MediaWiki core file
+ require_once( "$IP/maintenance/Maintenance.php" ); // a MediaWiki core file