summaryrefslogtreecommitdiff
path: root/extensions/README
diff options
context:
space:
mode:
Diffstat (limited to 'extensions/README')
-rw-r--r--extensions/README2
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