Move editoptions styling to mediawiki.skinning/interface.css

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

diff --git a/maintenance/eraseArchivedFile.php b/maintenance/eraseArchivedFile.php
index 4b06513..94ca604 100644 (file)
--- a/maintenance/eraseArchivedFile.php
+++ b/maintenance/eraseArchivedFile.php
@@ -22,12 +22,12 @@
  * @author Aaron Schulz
  */
 
-require_once( __DIR__ . '/Maintenance.php' );
+require_once __DIR__ . '/Maintenance.php';
 
 /**
  * Maintenance script to delete archived (non-current) files from storage.
  *
- * @TODO: Maybe add some simple logging
+ * @todo Maybe add some simple logging
  *
  * @ingroup Maintenance
  * @since 1.22
@@ -116,4 +116,4 @@ class EraseArchivedFile extends Maintenance {
 }
 
 $maintClass = "EraseArchivedFile";
-require_once( RUN_MAINTENANCE_IF_MAIN );
+require_once RUN_MAINTENANCE_IF_MAIN;