Merge "Re add wpScrolltop id in EditPage"

[lhc/web/wiklou.git] / maintenance / mwdoc-filter.php

diff --git a/maintenance/mwdoc-filter.php b/maintenance/mwdoc-filter.php
index 07aa282..feaad12 100644 (file)
--- a/maintenance/mwdoc-filter.php
+++ b/maintenance/mwdoc-filter.php
@@ -38,6 +38,7 @@
  * DEALINGS IN THE SOFTWARE.
  */
 
+// Warning: Converting this to a Maintenance script may reduce performance.
 if ( PHP_SAPI != 'cli' ) {
        die( "This filter can only be run from the command line.\n" );
 }