From 921efabc7c6af049de91e0fa02b47c62f80be128 Mon Sep 17 00:00:00 2001
From: Sam Reed <reedy@users.mediawiki.org>
Date: Sat, 24 Dec 2011 23:12:09 +0000
Subject: [PATCH] Change require to require_once in extensions/README

---
 extensions/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extensions/README b/extensions/README
index 0437af69da..ca15585536 100644
--- 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
-- 
2.20.1