Merge "Expire the cache of a User object when a group membership is set to expire"

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

diff --git a/maintenance/eval.php b/maintenance/eval.php
index 4996446..d98e5cd 100644 (file)
--- a/maintenance/eval.php
+++ b/maintenance/eval.php
@@ -32,7 +32,6 @@
 
 $optionsWithArgs = [ 'd' ];
 
-/** */
 require_once __DIR__ . "/commandLine.inc";
 
 if ( isset( $options['d'] ) ) {