Kill some duplicated queries by also caching negative results in wasDeletedSinceLastEdit

[mediawiki.git] / api.php5

<?php require 'api.php';