0 0 1 PHP

Fix deprecation version for WikiPage::isBatchedDelete()

Per https://www.mediawiki.org/wiki/Stable_interface_policy#Hard_deprecation

Change-Id: I3e5fef7bdd3aff84147699e3a3c1e5ba8113b7c0

SomeRandomDeveloper committed 8d ago

b2581f46ad4f74d4d2ed5e96b4d11e85e0658d8d

Parent: 93d1bca