the stored procedure file for mediawiki database