Remove the strong formatting for 'revdelete-suppress'
authorSiebrand Mazeland <siebrand@kitano.nl>
Mon, 22 Jun 2015 13:55:26 +0000 (15:55 +0200)
committerSiebrand Mazeland <siebrand@kitano.nl>
Mon, 22 Jun 2015 13:55:26 +0000 (15:55 +0200)
commit84c620bb948d4643912e143662d30fc158bd2278
treeae318f74859c613997646eb01d1893da293ae9e7
parentcd618c1bfd1c63b83b2ca792971acd98c7ca1dee
Remove the strong formatting for 'revdelete-suppress'

Just came across this in the interface, and it drew my attention, but I
see no reason why this option is more or less important than 'watchthis'
or any other option.

Change-Id: I8fd2c27dea5f0822514b7ce78a9ad8ff2bbe42f4
includes/page/Article.php