docs/database.txt: Don't mention $wgAntiLockFlags

Setting was removed in 12757b50f8da and is no longer used
on the Wikimedia cluster.

Change-Id: I0a6e0c029d3246f7a5a229411e66949469ab941e