diff options
Diffstat (limited to 'Version.php')
| -rw-r--r-- | Version.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Version.php b/Version.php new file mode 100644 index 000000000000..cdbf6e376f30 --- /dev/null +++ b/Version.php @@ -0,0 +1,12 @@ +# This file is copied to the install directory so that +# later update scripts will be able to use it to determine +# what they need to update. The version number here must +# be updated any time you make a change that requires +# the update to do anything other than copy the new files +# over, such as changing the database layout. If you +# change this version number, you should also update the +# update.php script. +# + +$wgSoftwareRevision = 1001; + |