Fix an earlier commit - I forgot to put pr_id in updaters.inc
authorAndrew Garrett <werdna@users.mediawiki.org>
Thu, 15 Feb 2007 11:18:47 +0000 (11:18 +0000)
committerAndrew Garrett <werdna@users.mediawiki.org>
Thu, 15 Feb 2007 11:18:47 +0000 (11:18 +0000)
commit310682512ee949817cc8777747d7c49cf7030214
tree2c7191daa7f37a06ca59d75e3e4162f7d5c751dc
parent395c11b04fdf589e1eaf7223c62c3246b19afc6a
Fix an earlier commit - I forgot to put pr_id in updaters.inc
maintenance/updaters.inc