diff options
Diffstat (limited to 'extensions/README')
| -rw-r--r-- | extensions/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extensions/README b/extensions/README index 66236e85..e8150623 100644 --- a/extensions/README +++ b/extensions/README @@ -27,4 +27,4 @@ The following code snippet lets you override the default path: if( $IP === false ) { $IP = __DIR__ . '/../..'; } - require_once( "$IP/maintenance/Maintenance.php" ); // a MediaWiki core file + require_once "$IP/maintenance/Maintenance.php"; // a MediaWiki core file |