FANDOM


MediaWiki extensions manual - list
Extension:DeleteHistory

Release status: stable

Implementation Special page
Description Delete history and optimize MySQL database to win a lot of disk space
Author(s) Pierre Mavro (PmavroTalk)
Last version 0.5
MediaWiki 1.14+
License GNU General Public Licence 2.0
Download Snapshot
Check usage and version matrix

This extension:

  • Deletes old unwanted information in history
  • Frees up to 90% disk space in the MediaWiki database

PrerequisiteEdit

  • Be sure you've got php5-cli installed. If you're under Debian like OS :
aptitude install php5-cli

InstallationEdit

Method 1Edit

Download the latest snapshot version and uncompress it in your extensions directory (ex. /var/www/mediawiki/extensions) :

wget -O DeleteHistory.tgz "http://git.deimos.fr/?p=mediawiki_DeleteHistory.git;a=snapshot;h=HEAD;sf=tgz"
mkdir DeleteHistory
tar -xzf DeleteHistory.tgz --strip 1 -C DeleteHistory
rm -f DeleteHistory.tgz

Method 2Edit

Clone it via Git :

git clone http://git.deimos.fr/git/mediawiki_DeleteHistory.git DeleteHistory

ConfigurationEdit

# DeleteHistory
$wgGroupPermissions['sysop']['DeleteHistory'] = true;
include('extensions/DeleteHistory/DeleteHistory.php');
  • That's all, now you can go in Special Pages and try the DeleteHistory extension. If you don't see anything new, it's because you don't have the admin privileges.

User rightsEdit

If you don't see anything new, it's because you don't have the admin privileges.

UsageEdit

Go into Special Page to delete history.

Changelog Edit

v0.6 Edit

Adding German language

v0.5 Edit

Adding Engine and Collation tables informations when requesting optimization. It helps to understand the result of it.

v0.4.1 Edit

  • Fix some vulnerability

v0.4 Edit

  • Compatible with MediaWiki 1.18

v0.3 Edit

  • Show in KB or MB in the database space won when an optimize runs
  • Changed shown order (Result,Optimisation Status,Logs)
  • Added arrays style to results

v0.2 Edit

  • Compatible with MediaWiki 1.16

v0.1 Edit

  • First release

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.