add mediawiki

b3nj5m1n · Apr 14, 2024 · 26accbd · 26accbd
1 parent 6a59db4
commit 26accbd
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/programs/mediawiki.json b/programs/mediawiki.json
@@ -0,0 +1,15 @@
+{
+    "name": "mediawiki",
+    "files": [
+        {
+            "path": "$HOME/.mweval_history",
+            "movable": false,
+            "help": "Currently unsupported.\n\nGenerated by the _eval.php_ maintenance script:\nhttps://github.com/wikimedia/mediawiki/blob/master/maintenance/eval.php#L99-L100\n"
+        },
+        {
+            "path": "$HOME/.mwsql_history",
+            "movable": false,
+            "help": "Currently unsupported.\n\nGenerated by the _sql.php_ maintenance script:\nhttps://github.com/wikimedia/mediawiki/blob/master/maintenance/sql.php#L124-L125\n"
+        }
+    ]
+}