Move up devunt's name to Developers

[lhc/web/wiklou.git] / maintenance / nukePage.php

diff --git a/maintenance/nukePage.php b/maintenance/nukePage.php
index f5ce5ec..1870273 100644 (file)
--- a/maintenance/nukePage.php
+++ b/maintenance/nukePage.php
@@ -23,7 +23,7 @@
  * @author Rob Church <robchur@gmail.com>
  */
 
-require_once( __DIR__ . '/Maintenance.php' );
+require_once __DIR__ . '/Maintenance.php';
 
 /**
  * Maintenance script that erases a page record from the database.