MediaWiki Pages no longer in SVN

Files that are changed manually are then excluded from svn update. To drop own changes and get back to the svn version delete the file and then run svn update (see Mediawiki_installation#MediaWiki upgrading).

Currently changed and consequently not updated files:

• /usr/share/mediawiki/phase3/includes/mime.types

added "ink" to "text/plain"

• /usr/share/mediawikistaging/phase3/includes/mime.types

added "ink" to "text/plain"