Follow-up r56791: add 'deletedcontent' to corerights
[mediawiki.git] / mwScriptLoader.php5
blob9bfe525b4ab431081a0718a1ac71aa9c636ada50
1 <?php require './mwScriptLoader.php';