A Frog in the Valley

Note to self, to make the search snake bite it’s own tail later… as seen on the documentation page :

If you want to upload file types other than .jpg or .ogg, e.g., .pdf, in newer versions of mediawiki, you have to modify the file LocalSettings.php by copying the variable and its contents from DefaultSettings.php. Afterward, you can edit it accordingly: $wgFileExtensions = array( ‘png’, ‘jpg’, ‘jpeg’, ‘ogg’,'doC',’xls’,'ppt’,'mp3′,’sxC',’pdf’ );

You may also need to remove this extension from the filetype blacklist (in /includes/DefaultSettings.php).

Voilà !

Tags: wiki